../ org.eclipse.linuxtools.docker.editor.ls.feature..> 08-Jul-2025 17:54 13216 org.eclipse.linuxtools.docker.feature_5.20.0.20..> 08-Jul-2025 17:54 13591 org.eclipse.linuxtools.jdt.docker.launcher.feat..> 08-Jul-2025 17:54 13688 org.eclipse.linuxtools.vagrant.feature_5.20.0.2..> 08-Jul-2025 17:54 13491