bin.close();
    private Map loadSymbols(byte[] buffer) throws IOException {        Map symbols = new HashMap(buffer.length / 16);        ByteArrayInputStream bin = new ByteArrayInputStream(buffer);        Properties properties = new Properties();        properties.load(bin);        // On utilise une version non synchronisée !        symbols.putAll(properties);        return symbols;    }