Changing org.eclipse.ui.editors to use Eclipse formatter

Currently the JDT formatter, which might be due to legacy reasons

Author: vogella