Provided by: jaxe_3.5-11~18.04_all 
NAME
jaxe-editeurconfig - Java XML Editor configuration editor
SYNOPSIS
jaxe-editeurconfig
DESCRIPTION
jaxe-editeurconfig runs the configuration editor for the JaXE XML editor