Provided by: jaxe_3.5-7_all bug

NAME

       jaxe-editeurconfig - Java XML Editor configuration editor

SYNOPSIS

       jaxe-editeurconfig

DESCRIPTION

       jaxe-editeurconfig runs the configuration editor for the JaXE XML editor