default type casting double -> int (Switch.java)

Change-Id: I6ca66fe115fb31c902010b05babd7b6ba9e19bc6