servlet: some changes to support 5-player games