altered to deal with DEX files that have just the dex as a file name.
Authored by: philsp 2015-02-11
Parent: [r3882]
Child: [r3884]