Buggy code:
public class ServerFacade implements IServerFacade { UserManager userManager ; GameManager gameManager ; public ServerFacade ( ) { } @ Override public String login ( Credentials credentials ) throws ServerException { } @ Override public String register ( Credentials credentials ) throws ServerException { } @ Override public String getGamesList ( ) { } @ Override public String createGame ( CreateGameRequestParams params ) { } @ Override public String joinGame ( JoinGameRequestParams params , Credentials credentials ) throws ServerException { } @ Override public String getModel ( int versionNumber , int gameID ) { } @ Override public String getModel ( int gameID ) { } @ Override public String addAI ( String aiType , int gameID ) throws ServerException { } @ Override public String getListAI ( ) { } @ Override public String sendChat ( SendChat sendChat , int gameID ) { } @ Override public String rollNumber ( RollNumber rollNumber , int gameID ) { } @ Override public String robPlayer ( RobPlayer robPlayer , int gameID ) { Game game = this . gameManager . getGameByID ( gameID ) ; game . getMap ( ) . setRobberLocation ( new shared . locations . RobberLocation ( robPlayer . newLocation ) ) ; game . robPlayer ( robPlayer . playerIndex , robPlayer . victimIndex ) ; String robberName = game . getPlayers ( ) . getPlayerByIndex ( robPlayer . playerIndex ) . getName ( ) ; <START_BUG> if ( ( robPlayer . playerIndex ) == ( - 1 ) ) { <END_BUG> game . getGameLog ( ) . addMessage ( new Message ( robberName , ( robberName + "<seq2seq4repair_space>moved<seq2seq4repair_space>the<seq2seq4repair_space>robber<seq2seq4repair_space>but<seq2seq4repair_space>couldn't<seq2seq4repair_space>rob<seq2seq4repair_space>anyone" ) ) ) ; } else { String youGotRobbedName = game . getPlayers ( ) . getPlayerByIndex ( robPlayer . victimIndex ) . getName ( ) ; game . getGameLog ( ) . addMessage ( new Message ( robberName , ( ( robberName + "<seq2seq4repair_space>moved<seq2seq4repair_space>the<seq2seq4repair_space>robber<seq2seq4repair_space>and<seq2seq4repair_space>robbed<seq2seq4repair_space>" ) + youGotRobbedName ) ) ) ; } game . incrementVersionID ( ) ; game . setGameState ( MYTURN ) ; return Serializer . getInstance ( ) . serialize ( game ) ; } @ Override public String finishTurn ( FinishTurn finishTurn , int gameID ) { } @ Override public String buyDevCard ( BuyDevCard buyDevCard , int gameID ) throws ServerException { } @ Override public String yearOfPlenty ( YearOfPlenty yearOfPlenty , int gameID ) { } @ Override public String roadBuilding ( RoadBuilding roadBuilding , int gameID ) throws ServerException { } @ Override public String moveSoldier ( SoldierMove soldierMove , int gameID ) { } @ Override public String playMonopolyCard ( Monopoly monopoly , int gameID ) { } @ Override public String playMonumentCard ( MonumentMove monumentMove , int gameID ) { } @ Override public String buildRoad ( BuildRoad buildRoad , int gameID ) throws ServerException { } @ Override public String buildCity ( BuildCity buildCity , int gameID ) throws ServerException { } @ Override public String buildSettlement ( BuildSettlement buildSettlement , int gameID ) throws ServerException { } @ Override public String offerTrade ( OfferTrade offerTrade , int gameID ) { } @ Override public String acceptTrade ( AcceptTrade acceptTrade , int gameID ) { } @ Override public String maritimeTrade ( MaritimeTrade maritimeTrade , int gameID ) throws ServerException { } @ Override public String discardCards ( DiscardedCards discardedCards , int gameID ) throws ServerException { } private ArrayList < ResourceType > addResources ( ArrayList < ResourceType > res , ResourceType resource , int num ) { } @ Override public int getPlayerIDFromCredentials ( Credentials credentials ) throws ServerException { } No newline ; at end ; of file ; }

Fix:
if ( ( ( robPlayer . playerIndex ) == ( - 1 ) ) || ( ( robPlayer . victimIndex ) == ( - 1 ) ) ) {