Natural-List Java Contracts and JUnit used to develop classes which only allow a list of natural numbers