Fix #538: Correct type signature for append methods on StringBuffer