Hi,
I usually use Debian stable. Could it be consider to bump KDevelop version ? 4.7.0 is pretty old, and really more buggy than the next 4.7.x versions. It never close properly and create a bunch of zombies process, it's hard or impossible to configure some rpoject without getting KDevelop to crash and so on.
The current version is practically impossible to use without crash
4.7.2/4.7.3 are mainly bugfixes versions