The VClock attribute is of the byte[] type now, it is better for GWT