public void cleanup() {
   android.util.Log.d(TAG, "cleaning up page " + mPageNumber);
   mImageView.setImageDrawable(null);
   mImageView = null;
   if (mTranslationDialog != null) {
     mTranslationDialog.dismiss();
     mTranslationDialog = null;
   }
 }
 // ==============================================================================
 public static final void printToConsole(String s) {
   android.util.Log.i("Juce", s);
 }