[572506] Use the archive path for a more specific default name when downloading Tomcat

Change-Id: Id3e2b86c1e6e424fec22b405592fd6f759788b21
3 files changed