Fix a bug in Program.java and Corpus.java, change the test code.