Mucocele; subsequent to trauma and duct transection