var file_formats_lang_java =
[
    [ "File formats", "file_formats_lang_java.html#file_formats_formats_lang_java", null ],
    [ "Choosing a file format", "file_formats_lang_java.html#file_formats_choice_lang_java", null ],
    [ "File formats and compression", "file_formats_lang_java.html#file_formats_compression_lang_java", null ],
    [ "Huffman Encoding", "huffman.html", null ]
];