Diagram Drawing and Navigation for Java