Constant SESSION_WORKSPACES_STATFILE 

pub const SESSION_WORKSPACES_STATFILE: &str = "session.workspaces.statFile";

session.workspaces.statFile