uidesigner/com.nokia.sdt.uidesigner/.settings/org.eclipse.jdt.ui.prefs
changeset 2045 00e887c4a2c8
parent 0 fb279309251b