� 	* SwitchState.java (addDefault(Label,CodeAttr)): New method. 	(addCase(int,Label,CodeAttr)): 	Fix binary search. 	(finish):  Move pushType call.
�
	* SwitchState.java (addDefault(Label,CodeAttr)): New method.
	(addCase(int,Label,CodeAttr)): 	Fix binary search.
	(finish):  Move pushType call.


git-svn-id: 169764d5f12c41a1cff66b81d896619f3ce5473d@1141 5e0a886f-7f45-49c5-bc19-40643649e37f

spurious/kawa-mirror,spurious/kawa-mirror,spurious/kawa-mirror,spurious/kawa-mirror,spurious/kawa-mirror