121 } |
121 } |
122 |
122 |
123 private static final Pattern dirFileLine = Pattern.compile( |
123 private static final Pattern dirFileLine = Pattern.compile( |
124 "(?m)" // multi-line mode |
124 "(?m)" // multi-line mode |
125 + "^(.*?)" // directory part of file name |
125 + "^(.*?)" // directory part of file name |
126 + "([A-Za-z0-9.]+:[0-9]+:)"); // file name and line number |
126 + "([-A-Za-z0-9.]+:[0-9]+:)"); // file name and line number |
127 |
127 |
128 String removeFileNames(String s) { |
128 String removeFileNames(String s) { |
129 Matcher m = dirFileLine.matcher(s); |
129 Matcher m = dirFileLine.matcher(s); |
130 StringBuffer sb = new StringBuffer(); |
130 StringBuffer sb = new StringBuffer(); |
131 while (m.find()) { |
131 while (m.find()) { |