little application to allow offline browsing of the java api