java - titledborder - ¿Qué tan grande debe ser un archivo de guerra?