add option to change KRB5_CONFIG from Java