4.0.0 eclipse.platform.text eclipse.platform.text 4.7.1-SNAPSHOT org.eclipse.ui org.eclipse.ui.genericeditor 1.0.0-SNAPSHOT eclipse-plugin