added hmh changes back; added syncrhonized

...for getNumConnectedPlayers()