edited java tex