-import "JavaBuiltin" as Java\r
-\r
-@JavaType "java.util.Collection"\r
-data Collection a\r
-\r
-@macro\r
-collectionToList :: Collection a -> [a]\r
-collectionToList = Java.unsafeCoerce\r
-\r
-singleton :: a -> Collection a\r
-singleton = Java.staticMethod "java.util.Collections.singletonList"\r
-\r
-main :: [Integer]\r
-main = collectionToList (singleton 15)\r
---\r
+import "JavaBuiltin" as Java
+
+@JavaType "java.util.Collection"
+data Collection a
+
+@macro
+collectionToList :: Collection a -> [a]
+collectionToList = Java.unsafeCoerce
+
+singleton :: a -> Collection a
+singleton = Java.staticMethod "java.util.Collections.singletonList"
+
+main :: [Integer]
+main = collectionToList (singleton 15)
+--
[15]
\ No newline at end of file