#Tue Feb 12 11:44:46 CET 2019
org.eclipse.core.runtime=2
org.eclipse.platform=4.10.0.v20181206-0815