Please review the following three rather simple patches: http://cr.openjdk.java.net/~hannesw/8013873/ http://cr.openjdk.java.net/~hannesw/8013874/ http://cr.openjdk.java.net/~hannesw/8013878/ Thanks, Hannes