[PATCH] Java: verification of interface types

[Per Bothner]

I checked in the patch (with an updated dat).

> 2001-01-14  Per Bothner  <per@bothner.com>
> 
> 	* expr.c (pop_type_0):  Only return object_ptr_type_node on mismatch
> 	if expeting an interface type.  Refines change of 2000-09-12.
-- 
	--Per Bothner
per@bothner.com   http://www.bothner.com/~per/