is there a reason for StringBuffer instead of StringBuilder?