final public CycConstant makeConstantFromName(String name) throws ParseException {
  CycConstant val = null;
    if (name.startsWith("#$")) {
      name = name.substring(2);
    }
    val = CycObjectFactory.getCycConstantCacheByName(name);
    if (val == null) {
      try {
        val = new CycConstant(name, null);
      } catch (Exception e) {
        {if (true) throw new ParseException(e.getMessage());}
      }
    }
    {if (true) return val;}
    throw new Error("Missing return statement in function");
  }