JavaOutput.hs