Another working java input file for testing