/**
  * Set the value of the given option in the local options list
  *
  * @param option The option to set
  * @param value The Resource value of the option
  */
 public void setOption(OPT option, Resource value) {
   OptionDefinition od = getOpt(option);
   getConfigRoot().addProperty(od.getDeclarationProperty(), value);
 }
 /**
  * Set the value of the given option in the local options list
  *
  * @param option The option to set
  * @param value The Boolean value of the option
  */
 public void setOption(OPT option, boolean value) {
   OptionDefinition od = getOpt(option);
   getConfigRoot()
       .addProperty(od.getDeclarationProperty(), ResourceFactory.createTypedLiteral(value));
 }