203204205206207208209210211212
} } if (null == user) { user = new NoCurrentUserDetails(); } return user; }