As far as I can tell, no one modifies this after it is created. If so, an ArrayList wrapped with Collections.unmodifiableList() would be faster and safer.