4.0.0 eclipse.platform.ua eclipse.platform.ua 4.15.0-SNAPSHOT org.eclipse.ui org.eclipse.tips.ide 0.1.800-SNAPSHOT eclipse-plugin