a java pgm