make Lists.java and Player.java compatible with Java 6