Cambiando tamaño del JEdit