DataHoldingUserToken.getServer() converted to a property, server field marked private