A session manager for JWM