--- /dev/null
+
+importJava "java.lang.StringBuilder" where
+ data T
+
+ @JavaName "<init>"
+ new :: <Proc> T
+
+ @JavaName append
+ appendString :: T -> String -> <Proc> T
+
+ @JavaName append
+ appendInteger :: T -> Integer -> <Proc> T
+
+ @JavaName append
+ appendDouble :: T -> Double -> <Proc> T
+
+ toString :: T -> <Proc> String