Source code to JavaMan