Scrub comments: skip the second chracter in the escape sequence

JakubValtar · JakubValtar · commit e7a625bbf089 · 2017-04-21T12:35:52.000+02:00
Fixes #5016
diff --git a/java/src/processing/mode/java/preproc/PdePreprocessor.java b/java/src/processing/mode/java/preproc/PdePreprocessor.java
@@ -730,10 +730,16 @@ static public String scrubComments(String what) {
           throw new RuntimeException("Missing the */ from the end of a " +
                                      "/* comment */");
         }
-      } else if (p[index] == '"' && index > 0 && p[index-1] != '\\') {
+
+        // switch in/out of quoted region
+      } else if (p[index] == '"') {
         insideQuote = !insideQuote;
         index++;
 
+        // skip the escaped char
+      } else if (insideQuote && p[index] == '\\') {
+        index += 2;
+
       } else {  // any old character, move along
         index++;
       }
