girparser: Use ArrayList for symbols info because field ordering matters.