A Functional Plugin for Bukkit