Code formatting in class ServerPrimitivesManager.