Which plugin does BastiGHG use?

I watch the streamer BastiGHG very often lately. And I wonder what plugin he uses in his challenges (Minecraft), with which he stops the time. For example. At the No Crafting table challenge? Can someone please tell me that?

He has a developer named "DerBanko", who does the plugins for him.