Removed crappy ProblemReporter