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