Proper override of jline.rc