change ExampleProgs.java