org.itc.irst.tcc.sre.kernel
Exceptions 
KernelNotFoundException