public static boolean javaFunctionInDifferentModuleP(MethodSlot method) {
    { StandardObject firstparametertype = ((StandardObject)(method.methodParameterTypeSpecifiers().first()));

      if ((!(firstparametertype != null)) ||
          (method.homeModule() == StandardObject.typeSpecToClass(firstparametertype).homeModule())) {
        return (false);
      }
      else {
        {
          if (!(MethodSlot.javaMethodObjectIsFunctionP(method))) {
            Stella.STANDARD_WARNING.nativeStream.println("Warning: Method `" + method + "' being defined on type `" + firstparametertype + "', but they are not in the same module!");
          }
          return (true);
        }
      }
    }
  }