public Channel (Channel original)
public Channel(Class channelType)
    public Channel (Channel original)    {        assert original != null;        type = original.getType ();        if (type == Integer.TYPE) {            wgqueue_int = new WrappableGrowableQueue_int();            myqueue = wgqueue_int;        } else if (type == Float.TYPE) {            wgqueue_float = new WrappableGrowableQueue_float();             myqueue = wgqueue_float;        } else if (type == Double.TYPE) {            wgqueue_double = new WrappableGrowableQueue_double();            myqueue = wgqueue_double;        } else if (type == Boolean.TYPE) {            wgqueue_boolean = new WrappableGrowableQueue_boolean();            myqueue = wgqueue_boolean;        } else if (type == Short.TYPE) {            wgqueue_short = new WrappableGrowableQueue_short();            myqueue = wgqueue_short;        } else if (type == Character.TYPE) {            wgqueue_char = new WrappableGrowableQueue_char();            myqueue = wgqueue_char;        } else if (type == Bit.TYPE) {            wgqueue_bit = new WrappableGrowableQueue_int();            myqueue = wgqueue_bit;        } else {            wgqueue_obj = new WrappableGrowableQueue_obj();            myqueue = wgqueue_obj;        }        // copy pop/push/peek values        popPushCount = original.popPushCount;        peekCount = original.peekCount;    }