The lake itself measures 7.3 miles , the largest recreation lake in Orange County , stretching into New Jersey ; their village of Greenwood Lake , population 3,400 , is one of three incorporated villages in the town of Warwick in Orange -- the others are Florida and Warwick . ''