Andrew Haley writes: > JDK checks the types of arrays; so should we. This would have saved > me hours when porting Eclipse. I spoke wrongly; apparently some JREs do, some don't. We should. Andrew.