Fix docjavatag conversion of TagAnnotation.java