JediTerm updated.