fix to file formatting
readability fixes to source code.
Improvements to the formatting and display of t...
Fix to JmlPretty to correctly print classes tha...
new branch for fix
fix for field access crash
created workdir
deleted branch dir