Updated theme for better multiterm colors.
Removed ERC and JDEE, it causes problems.