fixed some issues with alarms and jdt serializer