Generated by
JDiff

Class javax.swing.text.DefaultStyledDocument.ElementSpec

Documentation changed from old to new.