Since DrJava has built-in support for javadoc, it would be reasonable to
offer some support for the package-level documentation files. An "Open
Folder," for example, should probably open all "package.html" files. The
default "Open" filter should match the files as well, making them
Note that in Java 5.0, the preferred file for package-level javadocs is
named "package-info.java", not "package.html". So this might be
considered a legacy issue.