../ org.eclipse.linuxtools.docker.editor.ls.feature..> 29-Jul-2025 18:27 13217 org.eclipse.linuxtools.docker.feature_5.20.0.20..> 29-Jul-2025 18:27 13592 org.eclipse.linuxtools.jdt.docker.launcher.feat..> 29-Jul-2025 18:27 13688 org.eclipse.linuxtools.vagrant.feature_5.20.0.2..> 29-Jul-2025 18:27 13491