public String getProblemSummary() {
        if (messages == null || messages.size() == 0) {
            return "0 problems found";
        } else {
            return messages.size() + " problem" + (messages.size() == 1 ? "" : "s") + " found";
        }
    }