How can we set the jsessionid, cause it is not enough random, we think it is setting in 32 bits but we need to set this for 64 bits.