Pin down generated war file name, otherwise it defaults to directory name