Update HTMLResult.java