add new constructor for PrettyPrinter

Parser/spec/PrintingCore.jadd

@@ -20,6 +20,18 @@ public class PrettyPrinter {
     private boolean useColons;
     private int lineLength;
 
+    public PrettyPrinter(String indenter) {
+
+        s = new StringBuilder();
+
+        this.indenter = indenter;
+        this.uppercase = false;
+        this.indent = 0;
+        this.newline = false;
+        this.bof = true;
+        this.useColons = false;
+        this.lineLength = 84;
+    }
     public PrettyPrinter(String indenter, boolean uppercase) {
 
         s = new StringBuilder();