4.0.0 eclipse.platform.ua eclipse.platform.ua 4.12.0-SNAPSHOT org.eclipse.ui org.eclipse.tips.ide 0.1.500-SNAPSHOT eclipse-plugin