1. Migrated kool-typed-dynamic semantics to java syntax.
2.Implemented try-finally.
Resolved problems with composite expressions involving dot operator. Added related tests.
- Deleted syntax module. 
- Switched from context rules to strictness on KLabel's where appropriate. 
- Implemented array length field.
implemented java operators - infix, prefix, postfix.
Completely implemented int and bool operators, including bitwise ones. Tested.
The only difference from JLS: integer values are unlimited, so no overflow can occur.
Added test for composite assignment operators.
Completely implemented and tested the following:
1. All composite assignment operators.
2. do statement
3. Constructors, simplified semantcs. Constructors are just replaced
with methods with same name and return type void.
4. break statement with and without labels.
5. continue statement with and without labels.
Started work on switch statement. Most basic form ( test 1 in the plan) is implemented.
Split Java definition into 5 modules, each in a separate file.
1. Formatted most of java-statements.
2. Fixed some bugs with exception propagation.
3. Extended print method capabilities to accept as argument objects.
  For objects their class name is printed.
1. Switch statemetn completely implemented and tested.
2. Formatted fine java-statements.k
1. Added support for empty statement.
2. Rearranged java-statements.k sections according to JLS chapter 14.
Implemented assert statement.
Thus, all statements which deal with single-threaded computation are implemented.
Begin refactoring to represent values as value-type pairs. And add references.
Implemented array reference.
Rolling back first version of value-pair implementation.
Second attempt to roll back to revision 15. (First one was unsuccessful).
1. Reformatted the whole definition.
2. Extracted arrays into a separate k file.
1. Refactored value system. Now all values
are followed by a type, anywhere in configuration, of form
RawVal :: Type.
2. Tested the change on a large subset of test programs.
3. Changed parser to correctly translate literals into new values.
4. Cleaned up some tests.
1. Implemented automated test suite infrastructure, in directory tools.
2. Completely changed file structure of programs directory, in order to facilitate integration with test tools.
3. Generated tests for first 7 directories in programs.
4. Fixed 3 bugs detected by tests generated above.