getExtensionLoader().addExtension(new ExtensionTrap());
getExtensionLoader().addExtension(new ExtensionHistory());
// ZAP: new extension - search
//getExtensionLoader().addExtension(new ExtensionPatternSearch());
getExtensionLoader().addExtension(new ExtensionSearch());
// ZAP: replaced encoder with encoder2
//getExtensionLoader().addExtension(new ExtensionEncoder());
getExtensionLoader().addExtension(new ExtensionEncoder2());