4.0.0 eclipse.platform.ua eclipse.platform.ua 4.7.0-SNAPSHOT org.eclipse.help org.eclipse.help.ui 4.1.0-SNAPSHOT eclipse-plugin