Generated by
JDiff

Interface javax.swing.text.Highlighter

Documentation changed from old to new.