Java PGM files editor