Linus Heckemann 3c3a25acc5 jing-trang: use jre_headless ... This halves its closure size.		2017-06-07 15:18:41 +02:00
..
basex
html-xml-utils
jing-trang	jing-trang: use jre_headless	2017-06-07 15:18:41 +02:00
rnv
rxp
sablotron
xml2
xmlstarlet
xpf