translated more Java KIL classes to generic KIL by using BackendTerm
Merge pull request #726 from yilongli/fixing-issue-#722

translated more Java KIL classes to generic KIL by using BackendTerm