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

[Julien Fischer]

On Fri, 2 Aug 2019, Zoltan Somogyi wrote:

> 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?

No, IIRC its main use was to assist with debugging the static
intialization we use for RTTI data and alike.

Julien.