Bug fix for the same library in org.glite.wms project.