Fix clearing of Jython Shell history. [1812]