- add status panel refresh wherever needed
[pithos] / .settings / org.eclipse.jdt.ui.prefs
2009-06-04 Panagiotis AstithasRemove the redundant gss top-level directory.