Merge remote-tracking branch 'origin/develop'

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>

build.gradle

@@ -6,7 +6,7 @@ apply plugin: 'signing'
 
 allprojects {
   project.group = 'de.hhu.stups'
-  project.version = '3.3.1'
+  project.version = '3.3.2'
   project.ext.isSnapshot = project.version.endsWith("-SNAPSHOT")
 
   ext."signing.secretKeyRingFile" = rootProject.file("secring.gpg").absolutePath

src/main/resources/org/sablecc/sablecc/lexer.txt

@@ -151,6 +151,8 @@ public class Lexer implements ITokenListContainer
                     }
                     break;
                 case 13:
+                case 8232: // Unicode line separator
+                case 8233: // Unicode paragraph separator
                     this.line++;
                     this.pos = 0;
                     this.cr = true;