Implemented ${tmpfile} property.
Parsing of properties embedded in attributes not quite right yet, e.g.: ${tmpfile;content="${drjava.all.files;sep=" "}"}
Authored by: mgricken 2008-03-04
Parent: [r4378]
Child: [r4380]
