feat(tomcat): skip the before-launch build when the WAR is up to date (#2276)

* feat(tomcat): skip the before-launch build when the WAR is up to date

* fix(i18n): remove obsolete Tomcat WAR build messages from catalogs

src/features/run/tomcat.ts

@@ -21,6 +21,7 @@ export const tomcatType: RunConfigTypeContribution = {
     deployment: "artifact",
     httpPort: "8080",
     jmxPort: "1099",
+    // Build before launch (IDEA default); skipped automatically when the built WAR is current.
     buildArtifact: "true",
     openBrowser: "true",
     ...updatePolicyDefaults,