Generated by
JDiff

Interface java.awt.event.MouseListener

Documentation changed from old to new.