Minor changes to make doclet work with java 1.5