Handling High Priority Java PRs.

Fri Jun 8 10:20:00 GMT 2001

Jeff Sturm writes:
> I think it should be at least downgraded, pending feedback. If
> there is a problem on alpha, I doubt it is related to the original
> failure.

OK then, done. We're down to two: 2299 and 3062. Tom's fix for 2299
doesn't work anymore. I'll look into it and probably downgrade the PR
if I can't come quickly up with a good fix (or find out what I did
wrong with the patch.)
./A