Updates PST to support newer JDKs. https://reviews.apache.org/r/43300
diff --git a/pst/src/main/java/org/apache/wave/pst/PstFileDescriptor.java b/pst/src/main/java/org/apache/wave/pst/PstFileDescriptor.java
index 499ebc5..8962b0f 100644
--- a/pst/src/main/java/org/apache/wave/pst/PstFileDescriptor.java
+++ b/pst/src/main/java/org/apache/wave/pst/PstFileDescriptor.java
@@ -155,7 +155,14 @@
return null;
} else {
// Compiled the file! Now to determine where javac put it.
- Pattern pattern = Pattern.compile("\\[wrote ([^\\]]*)\\]");
+ Pattern pattern;
+ if (Integer.parseInt(System.getProperty("java.version").split("\\.")[1]) <= 6) {
+ // JDK 6 or lower
+ pattern = Pattern.compile("\\[wrote ([^\\]]*)\\]");
+ } else {
+ // JDK 7 or higher
+ pattern = Pattern.compile("\\[wrote RegularFileObject\\[([^\\]]*)\\]\\]");
+ }
String pathToClass = null;
for (String line : stdErr) {
Matcher lineMatcher = pattern.matcher(line);