// @ requires id != null;
 // @ ensures \result != null;
 // @ signals (Exception) false;
 public ie.ucd.srg.koa.controller.beans.Koa_state create(java.lang.Integer id)
     throws javax.ejb.CreateException, java.rmi.RemoteException {
   BeanO beanO = null;
   ie.ucd.srg.koa.controller.beans.Koa_state _EJS_result = null;
   boolean createFailed = false;
   try {
     beanO = super.createBeanO();
     ie.ucd.srg.koa.controller.beans.Koa_stateBean bean =
         (ie.ucd.srg.koa.controller.beans.Koa_stateBean) beanO.getEnterpriseBean();
     bean.ejbCreate(id);
     _EJS_result =
         (ie.ucd.srg.koa.controller.beans.Koa_state) super.postCreate(beanO, keyFromBean(bean));
     bean.ejbPostCreate(id);
   } catch (javax.ejb.CreateException ex) {
     createFailed = true;
     throw ex;
   } catch (java.rmi.RemoteException ex) {
     createFailed = true;
     throw ex;
   } catch (Throwable ex) {
     createFailed = true;
     throw new CreateFailureException(ex);
   } finally {
     if (createFailed) {
       super.createFailure(beanO);
     }
   }
   return _EJS_result;
 }
 /**
  * create
  *
  * @generated
  */
 public ie.ucd.srg.koa.esb.beans.ESBDecryptHelper create()
     throws javax.ejb.CreateException, java.rmi.RemoteException {
   BeanO beanO = null;
   ie.ucd.srg.koa.esb.beans.ESBDecryptHelper _EJS_result = null;
   boolean createFailed = false;
   try {
     _EJS_result =
         (ie.ucd.srg.koa.esb.beans.ESBDecryptHelper) super.createWrapper(new BeanId(this, null));
   } catch (javax.ejb.CreateException ex) {
     createFailed = true;
     throw ex;
   } catch (java.rmi.RemoteException ex) {
     createFailed = true;
     throw ex;
   } catch (Throwable ex) {
     createFailed = true;
     throw new CreateFailureException(ex);
   } finally {
     if (createFailed) {
       super.createFailure(beanO);
     }
   }
   return _EJS_result;
 }