deleted the method to convert an arraylist into a string: too much
performance problems with that.