polya,java