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