api-core: Corrected String.charAt(int) as well as some others in api-core. Testes the correction of String.charAt(int).
floats: Corrected and tested initialization of floats. Detected by Java Precisely examples.
java-precisely: Added support for some API methods requied by Java Precisely examples. Reading strings from console is implemented although I am not sure if this works.
java-precisely: Added the examples from book Java Precisely, adapted to what is possible to execute with Java semantics. See "test plan javaprecisely.txt" for a list of what was changed. Not all tests pass yet. Failing tests mostly require 2 things: 1. console input to work. 2. Extended semantics of strings.