use_debian_packaged_libs.patch
use_jaxb.patch
avoid_using_private_hdf5_header.patch
using_h5util_definitions.patch
loading_jni_in_java_file.patch
