formatting java doc