4.0.0 eclipse.platform.text eclipse.platform.text 4.12.0-SNAPSHOT org.eclipse.jface org.eclipse.jface.text 3.15.200-SNAPSHOT eclipse-plugin