--- /dev/null
+import "Prelude"
+
+importJava "java.nio.charset.Charset" where
+ data Charset
+
+ forName :: String -> Charset
+
+ name :: Charset -> String
+
+instance Show Charset where
+ show charset = name charset
+
+importJava "java.nio.charset.StandardCharsets" where
+ UTF_8 :: Charset
\ No newline at end of file