On 06/01/2014 19:36, Joe Darcy wrote: > Hello, > > Please review the simple patch below to address > > JDK-8031201: Fix casting lint issues in java.net > This looks okay to me. -Alan