2829303132333435
this.handler = _erlideEventTracerHandler; } } public void traceSession(final String workspace) { ErlideSessionEvent _erlideSessionEvent = new ErlideSessionEvent(workspace); this.trace(_erlideSessionEvent); }