Fix compile error introduced by a recent change in the libGDX engine.