The next generation of online judge system.