Update HTMLNorm.java