edit file extension at startHSQLByCmdLine script