[wsrp-wsia] [change request #95] Cookie name

Section: 3.13
Page/Line: 16/31
Requested  by: Subbu Allamaraju
Old  text: ... depends on the JSessionID cookie and ...
Proposed text: ... depends on session cookie and ...
Reasoning: There is no such thing as JSessionID cookie in the servlet 
spec. The name of the cookie is JSESSIONID.