Fix up CEDET and JDEE.