ServletCountThrees.java: format output