/* 65 */ InputStream is = file.openStream();
/* */ try
/* */ {
/* 68 */ properties.load(is);
/* */
/* 70 */ DeploymentBuilder deploymentBuilder = new DeploymentBuilder(properties);
/* 71 */ KernelDeployment localKernelDeployment = deploymentBuilder.build();
/* */ return localKernelDeployment;
/* */ }
/* */ finally
/* */ {
/* */ try