/org.eclipse.ui.examples.javaeditor/Eclipse Java Editor Example/