docs: public ValueNumber getClassObjectValue(@DottedClassName String className) {
          // assert className.indexOf('.') == -1;
          // TODO: Check to see if we need to do this
          className = className.replace('/', '.');
          ValueNumber value = classObjectValueMap.get(className);
          if (value == null) {
              value = createFreshValue(ValueNumber.CONSTANT_CLASS_OBJECT);
              classObjectValueMap.put(className, value);
          }
          return value;
      }