The ProtocolManager now targets CK-Core 4.0 (instead of the 4.5 version..)