String krbCookie = null;
try {
//Get the Base64-encoded ID for the Cookie
String krbIDBase64Encoded =
(new UserIDEncoder()).getID(getUsername(),
System.currentTimeMillis());
//URL encode the value of the cookie before adding
krbCookie = URLEncoder.encode(krbIDBase64Encoded, encoder);
if (krbCookie == null) {