eclipse.preferences.version=1
org.eclipse.mylyn.context.ui.editors.auto.manage=false
org.eclipse.mylyn.context.ui.navigators.filter.auto.enable=false
org.eclipse.mylyn.ide.ui.expansion.auto.manage=false
