undo unwanted changes in kdev4 files from previous commit