Program: 130708
Project: 130708
Buggy source:
@Override public void onSuccess(){
  Log.d(TAG_ASYNC,"String_Node_Str");
  mMainImageView.getViewTreeObserver().addOnGlobalLayoutListener(new ViewTreeObserver.OnGlobalLayoutListener(){
    @SuppressWarnings("String_Node_Str") @SuppressLint("String_Node_Str") @Override public void onGlobalLayout(){
      Display display=getWindowManager().getDefaultDisplay();
      Point screen=new Point();
      if (Build.VERSION.SDK_INT >= Build.VERSION_CODES.HONEYCOMB_MR2) {
        display.getSize(screen);
      }
 else {
        screen.x=display.getWidth();
        screen.y=display.getHeight();
      }
      int statusBarHeight=0;
      int resId=getResources().getIdentifier("String_Node_Str","String_Node_Str","String_Node_Str");
      if (resId > 0) {
        statusBarHeight=getResources().getDimensionPixelSize(resId);
      }
      TypedValue tv=new TypedValue();
      int actionBarHeight=0;
      if (getTheme().resolveAttribute(android.R.attr.actionBarSize,tv,true)) {
        actionBarHeight=TypedValue.complexToDimensionPixelSize(tv.data,getResources().getDisplayMetrics());
      }
      displayScrollToRead=(screen.y - statusBarHeight - actionBarHeight) < (mArticleTextView.getTop()) * 1.08;
      Log.d(TAG_ASYNC,"String_Node_Str" + displayScrollToRead);
      if (displayScrollToRead) {
        mScrollToReadLayout.startAnimation(slide_up);
        mScrollToReadLayout.setVisibility(View.VISIBLE);
        Log.d(TAG_ASYNC,"String_Node_Str" + mScrollToReadLayout.getVisibility());
      }
      if (Build.VERSION.SDK_INT > Build.VERSION_CODES.ICE_CREAM_SANDWICH_MR1) {
        mMainImageView.getViewTreeObserver().removeOnGlobalLayoutListener(this);
      }
 else {
        mMainImageView.getViewTreeObserver().removeGlobalOnLayoutListener(this);
      }
    }
  }
);
  detailViewProgress.setVisibility(View.GONE);
}

Fixed version (ground truth):
@Override public void onSuccess(){
  Log.d(TAG_ASYNC,"String_Node_Str");
  mMainImageView.getViewTreeObserver().addOnGlobalLayoutListener(new ViewTreeObserver.OnGlobalLayoutListener(){
    @SuppressWarnings("String_Node_Str") @SuppressLint("String_Node_Str") @Override public void onGlobalLayout(){
      Display display=getWindowManager().getDefaultDisplay();
      Point screen=new Point();
      if (Build.VERSION.SDK_INT >= Build.VERSION_CODES.HONEYCOMB_MR2) {
        display.getSize(screen);
      }
 else {
        screen.x=display.getWidth();
        screen.y=display.getHeight();
      }
      int statusBarHeight=0;
      int resId=getResources().getIdentifier("String_Node_Str","String_Node_Str","String_Node_Str");
      if (resId > 0) {
        statusBarHeight=getResources().getDimensionPixelSize(resId);
      }
      TypedValue tv=new TypedValue();
      int actionBarHeight=0;
      if (getTheme().resolveAttribute(android.R.attr.actionBarSize,tv,true)) {
        actionBarHeight=TypedValue.complexToDimensionPixelSize(tv.data,getResources().getDisplayMetrics());
      }
      displayScrollToRead=(screen.y - statusBarHeight - actionBarHeight) < (mArticleTextView.getTop()) * 1.08;
      Log.d(TAG_ASYNC,"String_Node_Str" + displayScrollToRead);
      if (displayScrollToRead) {
        mScrollToReadLayout.startAnimation(slide_up);
        mScrollToReadLayout.setVisibility(View.VISIBLE);
        Log.d(TAG_ASYNC,"String_Node_Str" + mScrollToReadLayout.getVisibility());
      }
      if (Build.VERSION.SDK_INT > Build.VERSION_CODES.ICE_CREAM_SANDWICH_MR1) {
        mMainImageView.getViewTreeObserver().removeOnGlobalLayoutListener(this);
      }
 else {
        mMainImageView.getViewTreeObserver().removeGlobalOnLayoutListener(this);
      }
    }
  }
);
  detailViewProgress.progressiveStop();
  detailViewProgress.setVisibility(View.GONE);
}