Update Interface.java

Added contracts and cleaned up style