if ( !alreadyDisposed ) {
alreadyDisposed = true;
HZFlashcardsDataModel hzFlashcardsDataModel;
try {
hzFlashcardsDataModel = HZFlashcardsDataModel.getInstance();
hzFlashcardsDataModel.shutdown();
} catch ( DBAccessException exception ) {
// TODO
// Auto-generated