Problemas al debuggear protocolos en DisJ