Isolate Manager Generator

The generator for the isolate_manager.