Optimization: use simple []-arrays instead of ArrayList, because the number of entries is known.
Authored by: mrieser 2008-02-15
Parent: [r668]
Child: [r670]