A Java ImageIO plugin for the Portable Any Map (pgm, ppm and pbm) image format