If a quote or keyword begins with the escape character, by default
it is considered a quote or keyword, and the escape character
is needed to make it normal text (e.g. '$' as escape character,
"${"/"}" as quotes, "${foo}" is a quote "${foo}"; "$${foo}" is
normal text "${foo}").
Changed escape character in Execute External Process dialog to
'$' to make it more compatible with Windows.
Makes files canonical; this helps with Windows paths.
By default, the directory files are relative to now is
"${drjava.working.dir}", which gets replaced at execution time,
not DrJava's working directory at start up.
Unescaping previews in Execute External Process dialog to prevent
"box" characters from showing up in front of spaces.