Hi, On Wed, 2013-06-19 at 18:05 +0200, Erik Helin wrote: > 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 Looks good. Thomas