public static Ice.DispatchStatus getCurrentKFConfig___(KP obj__, IceInternal.Incoming inS__, Ice.Current current__) { checkMode__(Ice.OperationMode.Normal, current__.mode); inS__.istr().skipEmptyEncaps(); IceInternal.BasicStream os__ = inS__.ostr(); KeeICE.KPlib.KFConfiguration ret__ = obj__.getCurrentKFConfig(current__); if(ret__ == null) { KeeICE.KPlib.KFConfiguration tmp__ = new KeeICE.KPlib.KFConfiguration(); tmp__.write__(os__); } else { ret__.write__(os__); } return Ice.DispatchStatus.DispatchOK; }