Problems with the pre-existing Doclet API