mobileOK Checker HTTP servlet build script.