> Actually, end users could control the output with -Ddetail parameter,
> so why not the formatting ?
Well, alright.
Benjamin
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@... For additional commands, e-mail: dev-help@...