filtering @appVersion@ tokens from web.xml - fixes #787