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