� 	* ClassFileInput.java (readAttribute):  Revert previous change. 	* InnerClassesAttr.java (print):  Mask short data by 0xFFFF. 	* LineNumbersAttr.java (print):  Mask short data by 0xFFFF. 	* Type.java (isSubtype, isMoreSpecic):  New methods.
�
	* ClassFileInput.java (readAttribute):  Revert previous change.
	* InnerClassesAttr.java (print):  Mask short data by 0xFFFF.
	* LineNumbersAttr.java (print):  Mask short data by 0xFFFF.
	* Type.java (isSubtype, isMoreSpecic):  New methods.


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

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