/** An exception which can be thrown and caught by JavaScript code */
public class JSExn extends RuntimeException {
private Object js = null;
/** An exception which can be thrown and caught by JavaScript code */
public class JSExn extends RuntimeException {
private Object js = null;