How should I manage different version of Java (JRE and JDK) on Mavericks?
Eclipse has its own list of JREs that it knows about in Preferences &gt; Java &gt; Installed JREs. When running programs in Eclipse you can choose from this list of JREs.