Program the following 2 programs
located in the slideshow below:
Java0511 (precondition statement)
Java0512 (post condition statement)