TF.java formatting change