Re: [armedbear] #423: Changes for Java9