1.1 --- a/test/tools/doclint/DocLintTester.java Wed Jul 17 19:12:03 2013 -0700 1.2 +++ b/test/tools/doclint/DocLintTester.java Wed Jul 17 19:16:12 2013 -0700 1.3 @@ -123,7 +123,7 @@ 1.4 private static final Pattern dirFileLine = Pattern.compile( 1.5 "(?m)" // multi-line mode 1.6 + "^(.*?)" // directory part of file name 1.7 - + "([A-Za-z0-9.]+:[0-9]+:)"); // file name and line number 1.8 + + "([-A-Za-z0-9.]+:[0-9]+:)"); // file name and line number 1.9 1.10 String removeFileNames(String s) { 1.11 Matcher m = dirFileLine.matcher(s);