floats: 1. Implemented printing float values (spotted by javaprecisely tests). 2.Extended tools to be able to run java semantics with more options.
api-core: Implemented and tested String.charAt(int). Required for Java Precisely examples.