Use ArrayBuilder instead of ArrayBuffer