I believe that this should be only service.default (in jdg62 plugin there's a bug - could you fix that as well?)
Also, please add server and hotrod services, these can be inherited from infinispan60 plugin.