4.0.0 eclipse.platform.text eclipse.platform.text 4.10.0-SNAPSHOT org.eclipse.text org.eclipse.text 3.8.0-SNAPSHOT eclipse-plugin