aranea - Revision 2257: /tags/20090927-Release-1-1-4/java/sudoku.messages/.settings
..
org.eclipse.jdt.core.prefs
org.eclipse.jdt.ui.prefs