[*] Move ServerProtocolDefinition