| This is the parent class for the Java Listeners.
There are several subclasses corresponding to each of the
various extensions of Java. Each extension adds a few
listeners.
author: Timothy J. Hickey, Copyright (c) 2000, tim@cs.brandeis.edu license author: subsequently modified by Jscheme project members author: licensed under zlib licence (see license.txt) |