Jetzt aber stertet der Pushservice hoffentlich automatisch neu, wenn etwas schiefgeht. Ich höre jetzt auf, zu versuchen, diese Exceptions irgendwie intern zu fangen - und nutze einfach ein externes Skript, dass den Pushservice neustartet, wenn er sich mal wieder getötet hat. ;-)