Switch from Java to LibGDX collections; fix resize (partially)