#Wed Nov 18 10:56:27 CET 2020
org.eclipse.core.runtime=2
org.eclipse.platform=4.13.0.v20190916-1045