Looks good! Push it! -Robert On May 20, 2015 7:01:26 AM "andrei.eremeev" <andrei.eremeev at oracle.com> wrote: > Hi REPL team, > > Could anybody review the fix: > http://cr.openjdk.java.net/~aeremeev/8080767.00/ > > Bug id: > https://bugs.openjdk.java.net/browse/JDK-8080767 > > Andrei Eremeev