fixed a bug that failed to handle double values read from arrays and reformatted the code and removed some debugging stuff
Merge branch 'develop' of github.com:Sable/soot into develop