jdbcprefs2xml tool (fully delegates to prefs2xml)