repair mistakes at R.java