/** @return */ public int getKernelHash() { getKernelInformations(); int kernelHash = 0; for (int i = 0; i < infos.length; i++) { kernelHash = (31 * kernelHash) + infos[i].hashCode(); } return kernelHash; }