[m-rev.] for review: start using the new code in file_names.m

[Julien Fischer]

On Sun, 11 Jun 2023, Zoltan Somogyi wrote:

> On 2023-06-07 18:44 +02:00 CEST, "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
>>> IIRC, the only reason that the --java-object-file-extension option exists is
>>> because we copied the corresponding C options when doing the initial setup for
>>> the Java backend. Since the Java compiler doesn't provide a way of letting you
>>> specify the output class name anyway, the existence of a Mercury compiler option
>>> to change it seems a bit pointless. We should delete the option.
>>
>> OK, I will do so in a separate change.
>
> This is that change. The only part worth reviewing is the two new lines
> in NEWS.md.

That's fine.

Julien.