core-jgi/selenese/.settings
..
org.eclipse.jdt.core.prefs