First test case works in GreetingTest.java