fixed the translation from Java KIL to generic KIL
addressed comments in code review
Merge pull request #700 from yilongli/fixing-issue#676

fixed the translation from Java KIL to generic KIL