log build.xml @ 31:99a0eb385c9a default tip

age author description
Mon, 13 Jun 2022 09:21:24 -0700 David Barts Remove dependence on Nashorn.
Fri, 25 Dec 2020 19:07:47 -0800 David Barts Add Linux support.
Sun, 13 Dec 2020 11:20:06 -0800 David Barts Fix Preferences bug, bump version number.