Print
All, What happened to the docs directory in the starjava installation directory, has it gone for good? Steve.