#Mon Nov 06 12:48:39 CET 2023
org.eclipse.core.runtime=2
org.eclipse.platform=4.23.0.v20220308-0310