sokoban - Revision 1: /trunk/.settings
..
org.eclipse.jdt.ui.prefs