equal
deleted
inserted
replaced
92 public String getPattern() { |
92 public String getPattern() { |
93 return pattern; |
93 return pattern; |
94 } |
94 } |
95 |
95 |
96 private static final String nl = |
96 private static final String nl = |
97 GetPropertyAction.getProperty("line.separator"); |
97 GetPropertyAction.privilegedGetProperty("line.separator"); |
98 |
98 |
99 /** |
99 /** |
100 * Returns a multi-line string containing the description of the syntax |
100 * Returns a multi-line string containing the description of the syntax |
101 * error and its index, the erroneous regular-expression pattern, and a |
101 * error and its index, the erroneous regular-expression pattern, and a |
102 * visual indication of the error index within the pattern. |
102 * visual indication of the error index within the pattern. |