Generated by
JDiff

Interface javax.swing.DesktopManager

Documentation changed from old to new.