private void callExtensions( Device device ) {
private void callExtensions( Device device, Locale locale ) {
	private void callExtensions( Device device ) {		HashMap infoProperties = new HashMap();		infoProperties.put( "polish.identifier", device.getIdentifier() );		infoProperties.put( "polish.name", device.getName() );		infoProperties.put( "polish.vendor", device.getVendorName() );		infoProperties.put( "polish.version", this.infoSetting.getVersion() );		String jarName = this.infoSetting.getJarName();		jarName = PropertyUtil.writeProperties(jarName, infoProperties);		infoProperties.put( "polish.jarName", jarName );		String jadName = jarName.substring(0, jarName.lastIndexOf('.') ) + ".jad";		infoProperties.put( "polish.jadName", jadName );		BooleanEvaluator evaluator = this.preprocessor.getBooleanEvaluator();				for (int i = 0; i < this.javaExtensions.length; i++) {			JavaExtension extension = this.javaExtensions[i];			if (extension.isActive( evaluator )) {				System.out.println("Executing <java> extension for device [" + device.getIdentifier() + "]." );				// now call the extension:				extension.execute(device, infoProperties);			}		}	}