want to display the warning only if OPENGROK_DERBY is set ?