[Bug 11571] FrameMaker 7.2: Crashes when opening file