10 Jan 2006 15:18:36 -0700, Tom Tromey <tromey@redhat.com>: > Yeah, look at the docs for the GCJ_PROPERTIES environment variable. > This is sort of hidden I'm afraid. And until just recently we, > strangely, didn't have an index in the manual. Thanks, Tom! I was looking for exactly that. Cheers, Shaun