new post: shorter java println