RESTX, the lightweight Java REST framework