ArrayList instead of Vector

Vector is *ancient* and AFAICT its syncing is unnecessary.
Also remove more random linebreaks.