looks fine to me. On 04/05/11 15:02, John Coomes wrote: > Hi all, > > Please review a simple change to improve handling of obsolete options: > > http://cr.openjdk.java.net/~jcoomes/7034133-cleanup-obsolete/ > > -John