private int militaryScore(PlayerState p) { return p.getMilitaryPoints(); }
private int MilitaryScore(PlayerState p) { return(p.getMilitaryPoints()); }