Another copy paste bug in JDK Console Panel