improving on the representation of Java errors on the Prolog side