[java] Fix new escape sequence "\s" detection

2020-02-27 21:23:33 +01:00
parent 81bb8090cf
commit 9a80f13164
1 changed files with 1 additions and 1 deletions
--- a/pmd-java/etc/grammar/Java.jjt
+++ b/pmd-java/etc/grammar/Java.jjt
@ -459,7 +459,7 @@ public class JavaParser {
  }

  private void checkForNewStringSpaceEscape(String s) {
-    if ((jdkVersion != 14 || !preview) && s.contains("\\s")) {
+    if ((jdkVersion != 14 || !preview) && s.contains("\\s") && !s.contains("\\\\s")) {
      throwParseException("The escape sequence \"\\s\" is only supported with Java 14 Preview");
    }
  }