Delete DefaultPlayer.java

This class has been replaced by the EasyDefaultPlayer, NormalDefaultPlayer, and HardDefaultPlayer classes.