if (t instanceof RefType) {
RefType refType = (RefType) t;
usesSession = isSession(refType);
} else if (t instanceof ArrayType) {
// check if the array is a Session[]
ArrayType arrayType = (ArrayType) t;
Type type = arrayType.getElementType();
if (type instanceof RefType) {
usesSession = isSession((RefType) type);
}
}
}