The wording of the Compiler and Debugger Types is inconsistent in the Options
window.  The nodes currently look like this:
 
 Compiler Types
   External Compilation
   Internal Compilation
   ...
    
Debugger Types
   Default Debugging
   RMI Debugging
   ...

I propose that we try to make this structure more consistent by using
"External Compiler" and "Internal Compiler" under "Compiler Types" and
"Default Debugger" and "RMI Debugger" under "Debugger Types".  

Also, the Options window should be consistent in the language used for
"Execution". Currently both the terms "Execution" and "Executor" appear.
For example, the node under "Code Documentation" is "Java Executors" whereas
the node under "Debugging and Executing" is "Execution Types"  Also, the
subnodes under Execution Types use both "Execution" and "Executor"  I prefer
to use "Execution" because "Executor" has such negative connotations (and a
search of the java.sun.com website came up with thousands of hits for execution
and only 8 hits for executor).