No matches were found for subject:"\[Bug 140933\] Re\: X\-server dies when closing a running program in gnat\-gps."