minor changes to printing java stuff