34353637383940
} public NamedPrincipal readPrincipal(Element elem) throws IOException { String name = elem.getAttributeValue("name"); if (name == null) throw new IOException("Invalid principal found: missing 'name' attribute"); return new NamedPrincipal(name); }