Rename RestServer.php to source/DeathMiner/RestServer/RestServer.php