Accomodating newly-private Minecraft.isGamePaused field