Updated JBTIS and RedDeer versions