}
try {
command.perform
(arguments,
new ExtensionContext(workspace, context));
} catch (org.nlogo.api.ExtensionException ex) {
LogoException le =
new EngineException
(context, this, "Extension exception: " + ex.getMessage());
// it might be better to use the Java 1.4 setCause() stuff, for