public final class RIntPrxHolder extends java.lang.Object
RIntPrx
value
RIntPrxHolder()
RIntPrxHolder(RIntPrx value)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public RIntPrx value
public RIntPrxHolder()
public RIntPrxHolder(RIntPrx value)