The ScrollPane PR was merged a while ago!

We don't need the hacky single-file insertion of our own ScrollPane class any more. libgdx/libgdx#7358 is the PR in question, and the current libGDX version 1.13.1 has it.