Some public tools and extensions for LibGDX