4.0.0 eclipse.platform.ua eclipse.platform.ua 4.13.0-SNAPSHOT org.eclipse.ui org.eclipse.tips.examples 0.1.200-SNAPSHOT eclipse-plugin