showProblems(res);
reportProblems(res.getProblems());
				public void run() {					if (res.hasProblems()) {						showProblems(res);					} else {						DebugUITools.inspect(res.getSnippet().trim(), value);					}				}