4.0.0 eclipse.platform.ua eclipse.platform.ua 4.11.0-SNAPSHOT org.eclipse.ui org.eclipse.tips.ide 0.1.400-SNAPSHOT eclipse-plugin