creatOutputSet change
jkind.jar update