I got an email earlier today announcing that RoboVM (which is used, but not exclusive, with libGDX) is shutting down.
https://robovm.com/robovm-winding-down/
http://www.badlogicgames.com/wordpress/?p=3925
The current suggestion is to migrate to Xamarin and Intel’s Multi-OS Engine, which are interesting alternatives. I’m also surprised that they (Microsoft via Xamarin via RoboVM) didn’t “re-open” source RoboVM.
Edit: Another good writeup: http://www.gamefromscratch.com/post/2016/04/15/RoboVM-is-Dead.aspx
And an alternative (open-source fork of roboVM): http://bugvm.com/