eclipse.preferences.version=1 pluginProject.extensions=false