JavaRunner: tweak javadoc