-import "JavaBuiltin" as Java\r
-\r
-importJava "java.lang.String" where\r
- substring :: String -> Integer -> Integer -> String\r
-\r
-main = substring "01234" 1 4\r
---\r
+import "JavaBuiltin" as Java
+
+importJava "java.lang.String" where
+ substring :: String -> Integer -> Integer -> String
+
+main = substring "01234" 1 4
+--