public Enumeration<String> attributes() { if (foAttrs == null) { return Enumerations.empty(); } else { Set<String> s = new HashSet<String>(foAttrs.keySet()); return Collections.enumeration(s); } }
public Enumeration attributes() { if (foAttrs == null) { return org.openide.util.Enumerations.empty(); } else { HashSet s = new HashSet (foAttrs.keySet ()); return Collections.enumeration (s); } }
public Enumeration attributes() { if (foAttrs == null) { return org.openide.util.Enumerations.empty(); } else { HashSet s = new HashSet (foAttrs.keySet ()); return Collections.enumeration (s); } }