Better output formatting for JSESSIONIDs