public void unlockPortal(final int ID){
  if (!unlockedPortals.contains(ID)) {
    unlockedPortals.add(ID);
    logger.debug("Added portal ID " + Integer.toString(ID) + " to unlocked portals for player "+ getName()+ ".");
  }
}

public void unlockPortal ( final int ID ) { if ( ! unlockedPortals . contains ( ID ) ) { unlockedPortals . add ( ID ) ; logger . debug ( "Added portal ID " + Integer . toString ( ID ) + " to unlocked portals for player " + getName ( ) + "." ) ; } }
adds a portal id to a list of " unlocked " portals for player .
