@Override
 protected void inferStartupUrls() {
   // Look for launchable files directly under war
   File warDir = options.getWarDir();
   if (!warDir.exists()) {
     // if the war directory doesn't exist, there are no startup files there
     return;
   }
   for (File htmlFile :
       warDir.listFiles(
           new FilenameFilter() {
             public boolean accept(File dir, String name) {
               return STARTUP_FILE_PATTERN.matcher(name).matches();
             }
           })) {
     options.addStartupURL(htmlFile.getName());
   }
 }