From ed17f6d21f20bc1a78962e4d3a7e1dca09446002 Mon Sep 17 00:00:00 2001
From: Jakub Valtar <jakub.valtar@gmail.com>
Date: Wed, 15 Feb 2017 15:03:03 +0100
Subject: [PATCH] Fix preprocessing of code with double backslash in string or
 char literal

Fixes #4903
---
 java/src/processing/mode/java/pdex/SourceUtils.java | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/java/src/processing/mode/java/pdex/SourceUtils.java b/java/src/processing/mode/java/pdex/SourceUtils.java
index cddfcff1c..fecde5c94 100644
--- a/java/src/processing/mode/java/pdex/SourceUtils.java
+++ b/java/src/processing/mode/java/pdex/SourceUtils.java
@@ -266,6 +266,14 @@ public class SourceUtils {
     for (int i = 0; i <= length; i++) {
       char ch = (i < length) ? p.charAt(i) : 0;
       char pch = (i == 0) ? 0 : p.charAt(i-1);
+      // Get rid of double backslash immediately, otherwise
+      // the second backslash incorrectly triggers a new escape sequence
+      if (pch == '\\' && ch == '\\') {
+        p.setCharAt(i-1, ' ');
+        p.setCharAt(i, ' ');
+        pch = ' ';
+        ch = ' ';
+      }
       switch (state) {
         case OUT:
           switch (ch) {