It would be interesting to build this with TeaVM to allow high-quality typesetting for online papers and interactive web content.
TeaVM transpiles Java to JavaScript. I used it to convert a Java interactive fiction project to run natively in the browser:
https://frequal.com/java/RestoringA19YearOldGameWithTeaVm.ht...
More background on TeaVM:
https://blogs.oracle.com/javamagazine/post/java-in-the-brows...