Fix Vec3D pool size reporting in crash reports. Fixes BUKKIT-3378