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);