The function JAVADECODE ignored characters after a non-escaped double quote.…

The function JAVADECODE ignored characters after a non-escaped double quote. This is no longer the case.

h2/src/main/org/h2/util/StringUtils.java

@@ -226,11 +226,9 @@ public class StringUtils {
         StringBuilder buff = new StringBuilder(length);
         for (int i = 0; i < length; i++) {
             char c = s.charAt(i);
-            if (c == '"') {
-                break;
-            } else if (c == '\\') {
-                if (i >= s.length()) {
-                    throw getFormatException(s, s.length() - 1);
+            if (c == '\\') {
+                if (i + 1 >= s.length()) {
+                    throw getFormatException(s, i);
                 }
                 c = s.charAt(++i);
                 switch (c) {

h2/src/test/org/h2/test/unit/TestStringUtils.java

@@ -125,6 +125,7 @@ public class TestStringUtils extends TestBase {
     }
 
     private void testJavaString() {
+        assertEquals("a\"b", StringUtils.javaDecode("a\"b"));
         Random random = new Random(1);
         for (int i = 0; i < 1000; i++) {
             int len = random.nextInt(10);