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