public static boolean stellaNeedToTranslateP(Stella_Object file, Keyword language) {
    if (language == Stella.KWD_JAVA) {
      return (true);
    }
    { String sourcefile = Stella.makeFileName(((StringWrapper)(file)).wrapperValue, Stella.KWD_STELLA, true);
      String translatedfile = Stella.makeFileName(((StringWrapper)(file)).wrapperValue, Keyword.languageToFileType(language), true);

      return (Stella.probeFileP(sourcefile) &&
          (!(Stella.fileYoungerThanP(translatedfile, sourcefile) == Stella.TRUE_WRAPPER)));
    }
  }