I would've listed Tim before martin

In the IMDb credits, martin Lawrence is listed before Tim Robbins though the character Robbins plays is the main character and significantly more important to the story