WAR deployment version

however WAR manager is currently borked (even for older versions) so we
are DOOOMED...