Merge remote-tracking branch 'refs/remotes/origin/jwc' into ahm
Merge remote-tracking branch 'origin/development' into ahm
Merge branch 'origin/sdf'
Merge branch 'origin/sdf'
Added feature and update pom files to build the platform with the refinement plugin
Correction to refinement laws.
Began work on a pretty printer for the refinement tool