Merging 7971:887db7d64bc9 with 7970:21b063622472.
[cacao.git] / tests / checkcast.java
2006-11-03 tbfgcheckcast testcase