abort(LaunchingMessages.JavaSourceLocator_Unable_to_restore_source_location__12, e); location.initializeFrom(data); sourceLocations.add(location); } else {
abort(LaunchingMessages.JavaSourceLocator_Unable_to_restore_source_location__12, e); location.initializeFrom(data); sourceLocations.add(location); } else {