Create Results.java

I put my preconditions, postconditions, invariants in comments