JFK's a no brainer, and about time they pull out. Landing fees during peak hours are excessive, and the only traffic they got as a UAX carrier was international connections... either coming off IAD from overseas (yes, there was a bunch like that) or the obvious, connecting in JFK for/from the overseas portion. With no codeshares at JFK, and little O/D traffic, it makes sense to discontinue.