org.eclipse.platform org.eclipse.e4.ui.services 1.6.600 1.6.600 1.2.100 1.3.0 1.3.100 1.3.200 1.3.300 1.3.400 1.3.500 1.3.600 1.3.700 1.4.0 1.5.0 1.5.100 1.5.200 1.6.0 1.6.100 1.6.200 1.6.300 1.6.400 1.6.500 1.6.600 20251208072755