Update HTMLtags.java