/* * Created by IntelliJ IDEA. * User: fsommers * Date: Apr 10, 2002 * Time: 9:29:46 PM * To change template for new interface use  * Code Style | Class Templates options (Tools | IDE Options). */package primecruncher;import net.jxta.document.StructuredTextDocument;public interface ResultListener {    /**     * The document containing the result of the computation.     * It also contains the request, as an element.     */    public void resultEvent(Result result);}