Merge branch 'master' of https://github.com/libgdx/libgdx.git
Seems like jenkins is having trouble finding including the files
Merge pull request #477 from xoppa/misc

Seems like jenkins is having trouble finding including the files
Merge branch 'master' of https://github.com/blackbluegl/libgdx.git
Merge branch 'master' of https://github.com/libgdx/libgdx.git