simple tests generated with JUnit