code: static ConstantDoubleInfo make(ConstantPool cp, double value) {
          ConstantInfo ci = new ConstantDoubleInfo(value);
          return (ConstantDoubleInfo)cp.addConstant(ci);
      }
docs: Will return either a new ConstantDoubleInfo object or one already in
  the constant pool. If it is a new ConstantDoubleInfo, it will be
  inserted into the pool.