[FIXED JENKINS-25524] Wrong overload of PrintWriter.print was sometimes being selected, at random.