Rename bank.adb] to bank.adb