[m-rev.] for post-commit review: use indent.m in mlds_to_java_*.m

[Julien Fischer]

On Wed, 10 May 2023, Zoltan Somogyi wrote:

> Make mlds_to_java_*.m use indent.m.
> 
> Do so mostly by including the return value of indent2_string
> as an item to be printed by io.format. By including as many things
> to be printed as possible in a single call to io.format, people
> reading the code can see how those items fit together.

That's fine. Given the nature of this change I assume you have done
a bootcheck in the java grade?

Julien.