[bug fix] AppOptions.DEF_DB_FILE_PREFIX was inconsistent with that of app-options.properties file;
[bug fix] AppOptions.DEF_DB_FILE_PREFIX was inconsistent with that of
app-options.properties file;
suewonjp/civilizer,suewonjp/civilizer,suewonjp/civilizer,suewonjp/civilizer