Source code for car rental system CARENTA.