distribution dir config ${extension-distribution} images /${extension-distribution}/images build.number ${extension-distribution} ${extension-distribution}/${library-dir} org.gvsig:extIconThemeBase