I made a simple little bookmarklet that will remove the JSESSIONID cookie (for testing purposes). We are using it to test behavior of AJAX updates when the session expires.
Here it is, drag to your bookmarks: -JSESSIONID
This makes use of Peter-Paul Koch’s code from quirksmode.com