static public boolean showTempProblems() {
public static boolean showTempProblems() {
	static public boolean showTempProblems() {		return JavaPlugin.getDefault().getPreferenceStore().getBoolean(PREF_SHOW_TEMP_PROBLEMS);	}