tv2.setText(R.string.view_word);
tv2.setOnClickListener(new HighlighterListener(solution.getMask(),
ll));
tv2.setFocusable(true);
TextView tv3 = new TextView(this);
<BUG>tv3.setGravity(Gravity.RIGHT);
</BUG>
tv3.setLayoutParams(text2Lp);
tv3.setTextSize(16);
tv3.setTextColor(0xff000000);

tv2.setText(R.string.view_word);
tv2.setOnClickListener(new HighlighterListener(solution.getMask(),
ll));
tv2.setFocusable(true);
TextView tv3 = new TextView(this);
tv3.setGravity(Gravity.END);
tv3.setLayoutParams(text2Lp);
tv3.setTextSize(16);
tv3.setTextColor(0xff000000);
