test/tools/doclint/DocLintTester.java

changeset 1913
1476d54fdc61
parent 1506
4a3cfc970c6f
child 2169
667843bd2193
     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);

mercurial