throws Throwable
  public static Value define(Env env,			     String name,			     Value value,			     @Optional boolean isCaseInsensitive)    throws Throwable  {    return env.addConstant(name, value, isCaseInsensitive);  }