Re: [armedbear] #197: JAR-PATHNAME errors and ambiguities