DJSON-14: handle EOF inside character escape