Tejas or JF-17 for Sri Lanka?

Big news, they just changed their air chief!
there’s been talk of updating their air force with a new light fighter and two of the candidates are Tejas and JF-17.
which would be a better fit for Sri Lanka?

While not perfect, it generally has good relations with Pakisand and Indiana