I have used libgdx and box2d. I am thinking of making it open source (have to check if there is any bits of copied code). Will make the source available in a couple of weeks.