Yeah, looks like the libGDX maintainers made the same decision. They looked at BugVM and didn't like it, so they're on board with the mobidevelop fork as well as Intel's Multi-OS Engine.

https://software.intel.com/en-us/multi-os-engine