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