Fixed an Eclipse "Resource leak" warning