A mini-IDE for Bukkit plugin development