test case for java7 source generation