Firefox had a problem and crashed ... version 24.0a1 (2013-06-10)