Directory: wiki/quick-start/GATETutorial/Programming/bin/.settings/
..
org.eclipse.jdt.core.prefs