title: What are the predefined variables in eclipse?
body: <p>With eclipse, I know how to use variables in my launch configurations. I also know there exist a set of predefined variables such as <code>ECLIPSE_HOME</code> or <code>WORKSPACE_LOC</code>.</p>
  
  <p>What I don't know is the extensive list of these predefined variables (ie : variables names and values). Is there such a resource ? </p>