reformat adaview-config.adb