Смотрите, это 7-8ми летние макбуки и за эти годы уже с ними не известно что было. Тут просто большой риск купить франкенштейна, помимо известных проблем с ними (слезающий антиблик) могут быть и другие (типа залитые). В лучшем случае купите с умершей батарей и без антиблика, будут страдать глаза от отражений на екране, в худшем получите кирпич. Посыл в том - что выбирайте очень аккуратно, попросите проверку через сервис (вплоть со вскрытием) у продавца до оплаты, если с маком никаких проблем - как правило человек согласится.
Второй очень важдный момент 13 даже 15го года и 15ка 14го - это очень сильно разные модели! у 13шек 2х ядерный проц, он еле дишит (если конечно вы о базовых i5, кастомный i7 конечно ок). К тому же вам для java минмум 16gb ram нужно смотреть (опять же это кастомная 13ка должна быть и по цене мне кажется они не будут похожие). Потому лучше отдать предпочтение 15ке, я сам переходил в свое время с 15ки 12го года на 13ке 15го и эта была боль, он был значительно медленее, там даже в свое время самблайм еле шевелился с плагином colorhighlighter)...