public static final HashSet readSetXml(InputStream in) throws XmlPullParserException, java.io.IOException {
  XmlPullParser parser=Xml.newPullParser();
  parser.setInput(in,null);
  return (HashSet)readValueXml(parser,new String[1]);
}

public static final HashSet readSetXml ( InputStream in ) throws XmlPullParserException , java . io . IOException { XmlPullParser parser = Xml . newPullParser ( ) ; parser . setInput ( in , null ) ; return ( HashSet ) readValueXml ( parser , new String [ 1 ] ) ; }
read a hashset from an inputstream containing xml . the stream can previously have been written by writesetxml ( ) .
