#Mon Sep 11 11:17:35 CST 2017 org.eclipse.core.net.hasMigrated=true eclipse.preferences.version=1