A Java implementation of W3C DOM Events