A manager for Bukkit servers for Android