TF.java formatting