[m-rev.] for review: do not emit class initialization debugging code in Java by default

[Zoltan Somogyi]

On Fri, 2 Aug 2019 15:54:17 +1000 (AEST), Julien Fischer <jfischer at opturion.com> wrote:
> In particular, should the new option be publicly documented?  I can't see 
> that it's of much use except to Mercury developers.

>           "  static {\n",
>           "    if (System.getenv(""MERCURY_DEBUG_CLASS_INIT"") != null) {\n",
>           "      System.out.println(""[", sym_name_mangle(ModuleName),
>           " ", State, " init]"");\n",
>           "    }\n",
>           "  }\n"

Was MERCURY_DEBUG_CLASS_INIT publicly documented?
The new option should be publicly documented iff it was.

The diff is fine.

Zoltan.