Source:
<code>protected Warning createWarning(Matcher matcher) { StringBuilder messageBuilder = new StringBuilder(); StringBuilder toolTipBuilder = new StringBuilder(); String filePath = "Nil"; int lineNumber = 0; String category = "Kernel Output"; Priority priority = Priority.LOW; String bug = matcher.group(BUGWARN_CONTENT); String kern = matcher.group(KERNOUTPUT_CONTENT); if (kern != null) { <START> String stripped = kern.replaceAll(KERN_TIMESTAMP, "").trim(); <END> messageBuilder.append(stripped); } else if (bug != null) { Matcher pathMatcher = FILE_PATH_PATTERN.matcher(bug); if (pathMatcher.find()) { category = pathMatcher.group(ERROR_TYPE).trim(); filePath = pathMatcher.group(ERROR_PATH).trim(); lineNumber = getLineNumber(pathMatcher.group(ERROR_LINE)); if (category.equals("BUG")) priority = Priority.HIGH; else priority = Priority.NORMAL; messageBuilder.append(category); messageBuilder.append(" in "); messageBuilder.append(pathMatcher.group(ERROR_FUNC).trim()); messageBuilder.append("()"); toolTipBuilder.append("------------[ cut here ]------------\n"); toolTipBuilder.append(bug.replaceAll("(\\[[ ]*[0-9]+\\.[0-9]+\\])", "").trim()); toolTipBuilder.append("\n"); toolTipBuilder.append(matcher.group(BUGWARN_ENDTRACE)); toolTipBuilder.append("\n"); } else { messageBuilder.append(bug.replaceAll("(\\[[ ]*[0-9]+\\.[0-9]+\\])", "").trim()); } } else { return FALSE_POSITIVE; } String message; if (messageBuilder.length() == 0) { message = "Unknown Error"; } else { message = messageBuilder.toString().replace("\n", "<br>"); } Warning warning = createWarning(filePath, lineNumber, category, message, priority); if (toolTipBuilder.length() > 0) { String toolTip; toolTip = toolTipBuilder.toString().replace("\n", "<br>"); warning.setToolTip(toolTip); } return warning; }</code><technical_language>formatting? file</technical_language>

Target:
protected Warning createWarning(Matcher matcher) { StringBuilder messageBuilder = new StringBuilder(); StringBuilder toolTipBuilder = new StringBuilder(); String filePath = "Nil"; int lineNumber = 0; String category = "Kernel Output"; Priority priority = Priority.LOW; String bug = matcher.group(BUGWARN_CONTENT); String kern = matcher.group(KERNOUTPUT_CONTENT); if (kern != null) { String stripped = kern.replaceAll(KERN_TIMESTAMP, "").trim(); messageBuilder.append(stripped); } else if (bug != null) { Matcher pathMatcher = FILE_PATH_PATTERN.matcher(bug); if (pathMatcher.find()) { category = pathMatcher.group(ERROR_TYPE).trim(); filePath = pathMatcher.group(ERROR_PATH).trim(); lineNumber = getLineNumber(pathMatcher.group(ERROR_LINE)); if ("BUG".equals(category)) { priority = Priority.HIGH; } else { priority = Priority.NORMAL; } messageBuilder.append(category); messageBuilder.append(" in "); messageBuilder.append(pathMatcher.group(ERROR_FUNC).trim()); messageBuilder.append("()"); toolTipBuilder.append("------------[ cut here ]------------\n"); toolTipBuilder.append(bug.replaceAll("(\\[[ ]*[0-9]+\\.[0-9]+\\])", "").trim()); toolTipBuilder.append("\n"); toolTipBuilder.append(matcher.group(BUGWARN_ENDTRACE)); toolTipBuilder.append("\n"); } else { messageBuilder.append(bug.replaceAll("(\\[[ ]*[0-9]+\\.[0-9]+\\])", "").trim()); } } else { return FALSE_POSITIVE; } String message; if (messageBuilder.length() == 0) { message = "Unknown Error"; } else { message = messageBuilder.toString().replace("\n", "<br>"); } Warning warning = createWarning(filePath, lineNumber, category, message, priority); if (toolTipBuilder.length() > 0) { String toolTip; toolTip = toolTipBuilder.toString().replace("\n", "<br>"); warning.setToolTip(toolTip); } return warning; }