[committed] Fix problem with the rename of pp_format_text to pp_format in the java front-end

[Per Bothner]

Zack Weinberg wrote:
> Per Bothner said:
>>My longer-term goal is to replace all parse_error_context calls with
>>calls to error or other standard diagnostic-reporting routines.  If that
>>gives the wrong line-number, we can temporarily set the input_location
>>to a more specific "context location".
> 
> 
> ... or you could just use %H, %J, or %+D, rather than messing with the
> globals?

Yes, that is certainly better, when appropriate.
-- 
	--Per Bothner
per@bothner.com   http://per.bothner.com/