LavaBucket is a modified version of CraftBukkit, applied using a patching system.