News for hackers. Stuff that matters.

A comment on Pure Java Typesetting System. Parent comment

Re:Pure Java Typesetting System by ebruchez on Monday January 23, 2023 @01:14PM (#34492654)
As a workaround, you could distribute the modified Foo.java as Foo2.java, and have your build system rename Foo2.java to Foo.java at build time. It might be all it takes (but IANAL).
[ Parent | on HN ]
Re:Pure Java Typesetting System by mqus on Monday January 23, 2023 @02:33PM (#34493772)
WHich would completely cripple IDEs or at the very least makes it difficult to work with
[ Parent | on HN ]