Another update of JIDE libraries (3.5.3)