On Apr 22, 2013, at 12:06 PM, Claudio Nieder wrote: > >> Unfortunately, right now, it's not searchable :-( > > As a workaround search on google like this: > > site:bugs.sun.com your search terms Cool - thanks, Claudio! Appreciate it. -hendrik