190191192193194195196197
/** * @return returns true if this is an unchecked exception. */ public boolean isUnchecked() { Unchecked u = (Unchecked) getOpt( "Unchecked" ); return u != null && u.isUnchecked(); }