JavaDoc updates and removed validation checks after subject.logout() is called - a Subject is still valid even after logout - it is just considered anonymous again after that point.
incubator/jsecurity/trunk/src/org/jsecurity/mgt/DefaultSecurityManager.java