#Tue Nov 17 08:14:44 CET 2020
org.eclipse.core.runtime=2
org.eclipse.platform=4.13.0.v20190916-1045