eclipse.preferences.version=1 fontPropagated=true org.eclipse.jface.textfont=1|Monospace|10.0|0|GTK|1|; org.eclipse.wst.jsdt.ui.editor.tab.width= org.eclipse.wst.jsdt.ui.formatterprofiles.version=11 org.eclipse.wst.jsdt.ui.javadoclocations.migrated=true proposalOrderMigrated=true tabWidthPropagated=true useAnnotationsPrefPage=true useQuickDiffPrefPage=true