From fa46792605bf7fed97ce0a6fec4113dbdbd40a04 Mon Sep 17 00:00:00 2001
From: jdf <jdf@pobox.com>
Date: Wed, 17 Mar 2010 17:35:23 +0000
Subject: [PATCH] regression test for #1511

---
 app/test/resources/bug1511.pde                |  7 ++++++
 .../test/processing/parsing/ParserTests.java  | 22 +++++++++++--------
 2 files changed, 20 insertions(+), 9 deletions(-)
 create mode 100644 app/test/resources/bug1511.pde

diff --git a/app/test/resources/bug1511.pde b/app/test/resources/bug1511.pde
new file mode 100644
index 000000000..3f2f11586
--- /dev/null
+++ b/app/test/resources/bug1511.pde
@@ -0,0 +1,7 @@
+// ß
+
+/**
+* a
+*/
+
+import processing.pdf.*;
\ No newline at end of file
diff --git a/app/test/src/test/processing/parsing/ParserTests.java b/app/test/src/test/processing/parsing/ParserTests.java
index a9d217c7a..006501333 100644
--- a/app/test/src/test/processing/parsing/ParserTests.java
+++ b/app/test/src/test/processing/parsing/ParserTests.java
@@ -3,13 +3,10 @@ package test.processing.parsing;
 import static org.junit.Assert.fail;
 import java.io.File;
 import java.io.FileInputStream;
-import java.io.FileNotFoundException;
-import java.io.IOException;
 import java.io.InputStreamReader;
 import java.io.StringWriter;
 import org.junit.BeforeClass;
 import org.junit.Test;
-import processing.app.Base;
 import processing.app.Preferences;
 import processing.app.debug.RunnerException;
 import processing.app.preproc.PdePreprocessor;
@@ -18,12 +15,11 @@ import antlr.ANTLRException;
 public class ParserTests {
 
   private static final String RESOURCES = "test/resources/";
-  
-  private static File res(final String resourceName)
-  {
-    return new File(RESOURCES,resourceName);
+
+  private static File res(final String resourceName) {
+    return new File(RESOURCES, resourceName);
   }
-  
+
   @BeforeClass
   static public void initPrefs() throws Exception {
     Preferences.load(new FileInputStream(res("preferences.txt")));
@@ -60,7 +56,10 @@ public class ParserTests {
     try {
       preprocess(resource);
     } catch (Exception e) {
-      fail(e.getMessage());
+      if (!e.equals(e.getCause()))
+        fail(e.getCause().getMessage());
+      else
+        fail(e.getMessage());
     }
   }
 
@@ -73,4 +72,9 @@ public class ParserTests {
   public void bug5b() {
     expectGood("bug5.b.pde");
   }
+
+  @Test
+  public void bug1511() {
+    expectGood("bug1511.pde");
+  }
 }