private void pushValue(Type type) {
protected void pushValue(Type type) {
	private void pushValue(Type type) {		TypeFrame frame = getFrame();		if (type.getType() == T_LONG) {			frame.pushValue(Type.LONG);			frame.pushValue(TypeFrame.getLongExtraType());		} else if (type.getType() == T_DOUBLE) {			frame.pushValue(Type.DOUBLE);			frame.pushValue(TypeFrame.getDoubleExtraType());		} else			frame.pushValue(type);	}