String log_prefix = "Attributes requested by "+serviceName;
String log_prefix = "Attributes requested by "+serviceName+": ";
    public HashMap getAttributes(String id)    throws RemoteException {        log.finer("getAttributes(String)");	try {	    /* Look up session and check the client identity. */            Session session = sessionStore.getSession(id);            String serviceName = null;            if (ctx.getUserPrincipal() != null)                serviceName = ctx.getUserPrincipal().getName();                        String log_prefix = "Attributes requested by "+serviceName;            /* Reauthorize the WebService */            if (!session.getWebService().getId().equals(serviceName)) {                log.warning(log_prefix+"DENIED, Unauthorized (Wrong web service)");                throw new RemoteException("Access denied");            }            if (session.isLocked()) {                log.warning(log_prefix+"DENIED, Session is locked");                throw new RemoteException("No such session.");            }	    assertPrincipals(ctx.getUserPrincipal(), session.getClientPrincipal());	    /* Return attributes. */            log.info(log_prefix+"ACCEPTED, SID="+session.getID());            HashMap result = session.getAttributes();            return result;        } catch (SessionException e) {            log.severe("SessionException caught, and re-thrown as RemoteException");            throw new RemoteException("SessionException caught", e);        }    }