This file bootstraps JDEE.