Fix world provider mismatch with Java 7 client and Java 8 server. Fixes #1050.