enabling java in eclipse
Hi all - I already have eclipse installed on my computer. I installed it by downloading a prepackaged Eclipse install tree that already contained the ACL2s plugin and ACL2 image (I need to program in ACL2 for logic class). I'm wondering how I could get my eclipse to be able to use java too - I already have java on my computer and I currently use dr. java. How do I enable java in eclipse without re installing the eclipse/java package?