eclipse.preferences.version=1 org.eclipse.core.net.hasMigrated=true