Generated by
JDiff

Class javax.swing.text.html.HTMLEditorKit

Documentation changed from old to new.