Simple, quick-and-dirty Minecraft Bukkit server plugin to change a user's display name.