A Java ImageIO plugin for the JBIG2 bi-level image format