scala-ide/scala-ide — pull request #118 by skyluc (2012-06-14 13:39:37+00:00)
Title: Clean file handle on refreshing changed files

The custom code I wrote to read an IFile was not releasing the file handle correctly.
It was eventually closed when the object was GCed.
Replaced the code with some internal jdt util method.
Removed the incorrect method.

Fix #1000909

This change need to be apply to release/scala-ide-2.0.x too.