public static String javaStellaPackage() {
    { String stellapackage = Stella.$STELLA_MODULE$.javaPackage();

      if (stellapackage != null) {
        return (stellapackage);
      }
      else {
        return ("edu.isi.stella");
      }
    }
  }