691692693694695696697698699
if (listeners == null) { return; } Enumeration enums = listeners.elements(); while (enums.hasMoreElements()) { StyleListener l = (StyleListener) enums.nextElement(); l.styleChanged(propertName, this); } }