1    	package acl2s.lib.session;
2    	
3    	public abstract class AbstractSessionConfig implements ISessionConfig {
4    		/**
5    		 * 
6    		 */
7    		private static final long serialVersionUID = 4404049858653888565L;
8    		protected transient IBaseConfig base;
9    	
10   		protected AbstractSessionConfig(IBaseConfig base) {
11   			setBaseConfig(base);
12   		}
13   		
14   		protected AbstractSessionConfig() {
Event bad_cast: The cast from "acl2s.lib.session.AbstractSessionConfig" to "acl2s.lib.session.IBaseConfig" might fail with a ClassCastException.
15   			base = (IBaseConfig)this;
16   		}
17   	
18   		public IBaseConfig getBaseConfig() { return base; }
19   	
20   		public void setBaseConfig(IBaseConfig base) { this.base = base; }
21   	}