Shading jline
Version bump to 0.13.1b
Another version bump to 0.13.1c