fixing K in List
fix problem in seting up KResult
fixing kresult declaration without sort problem
fixing the ==K rule problem
fixing make file
fixing make file
Merge pull request #27 from liyili2/java_rewrite_engine2

Java backend kresult fixing