Hi all, this very small change removes three lines of duplicated code that got in because I (by mistake) pushed a change twice. Webrev: http://cr.openjdk.java.net/~ehelin/8016734/webrev.00/ Testing: JPRT Thanks, Erik