Pretty sure its 4 at the moment anyway: easyJet, TUI, Titan and Thomas Cook. I guess people haven't been counting Thomas Cook as they're purely seasonal but so are foreign airlines such as Sun Express and Iberia/Air Nostrum. Not that it really matters, there's still far too many people using a space thats too small for all of them. Hopefully once the new main terminal opens in March we'll start to see some improvements.