Refactor out UI management code, add loading image. Fix bug that caused fetch_infoset to fail.
Move java class doc rendering code into separate class, cache DOM to speedup redisplay.