docs: public void updateSpecification(Specification oldSpecification, Specification newSpecification) throws GreenPepperServerException {
          try {
              sessionService.startSession();
              sessionService.beginTransaction();
  
              documentDao.updateSpecification(oldSpecification, newSpecification);
  
              sessionService.commitTransaction();
              log.debug("Updated Specification: " + oldSpecification.getName());
          } catch (Exception ex) {
              sessionService.rollbackTransaction();
              throw handleException(SPECIFICATION_UPDATE_FAILED, ex);
          } finally {
              sessionService.closeSession();
          }
      }