// Activate the default ACL String codec anyway
ACLCodec stringCodec = new StringACLCodec();
messageEncodings.put(stringCodec.getName().toLowerCase(), stringCodec);
// Activate the efficient encoding for intra-platform encoding
ACLCodec efficientCodec = new LEAPACLCodec();
messageEncodings.put(efficientCodec.getName().toLowerCase(), efficientCodec);
// Codecs
List l = myProfile.getSpecifiers(Profile.ACLCODECS);
Iterator codecs = l.iterator();
while (codecs.hasNext()) {