webagents.properties revision 3eeee725f0a0ffc6c28e338470c0dcfac0e6706e