ControlSystemStudio/cs-studio — pull request #87 by MichaelRitzert (2013-07-13 19:03:49+00:00)
Title: update the filenames to check.

I noticed that the eclipse distribution is downloaded again and again because the build script is looking for an incorrect filename.