Update version of JDEE