deleting anywhere rules for Identifier
fixing makefile
fixing final k sequence as strict bug
make file
move all when to requires
fixing user defined list problem subject to KResult
fixing all klabels
fixing some small bugs
changing anywhere rule for arrayType
changing back all function to quote form with name starting at #
make file
fixing some bugs
Merge pull request #30 from liyili2/java_rewrite_engine4

Java rewrite engine4