getting encoding from web.xml property