FossilGlossary.java 文件源码

static void init() {
    try {
        glossary = new Vector();
        URL url = URLFactory.url( DSDP.ROOT+"fauna/glossary.gz");
        BufferedReader in = new BufferedReader(
            new InputStreamReader( 
            new GZIPInputStream( url.openStream() )));
        String s;
        while( (s=in.readLine())!=null ) glossary.add(s.getBytes());
        glossary.trimToSize();
    } catch(IOException e) {
        e.printStackTrace();
    }
}