Change an Integer to int, for the sake of consistency

git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@356 72836036-5685-4462-b002-a69064685172

src/jrummikub/control/SettingsControl.java

@@ -234,7 +234,7 @@ public class SettingsControl {
 		update();
 	}
 
-	private void setPlayerType(Integer i, Type type) {
+	private void setPlayerType(int i, Type type) {
 		settings.getPlayerList().get(i).setTurnControlType(type);
 		update();
 	}