4.0.0 eclipse.platform.ua eclipse.platform.ua 4.13.0-SNAPSHOT org.eclipse.help org.eclipse.help.ui 4.1.600-SNAPSHOT eclipse-plugin