How to set no_proxy in amaya-java?

Hi there,

  I know that in the non-java version I need to set the variables
'http_proxy', 'ftp_proxy', ..., and 'no_proxy'. 

  In amaya-java I must enter these in java.properties, but that file only 
has entries for setting the proxy, but I can't see a way to disable proxying
for certain hosts. Is there another keyword to achieve that?


  Benedikt


signoff
 Benedikt Eric Heinen  -  Ascom Infrasys AG, Solothurn, CH  (Bern office)
 Suedbahnhofstr. 14c, CH3017 Bern, SWITZERLAND      phone: +41.31.9993303
 fax: +41.31.9991019,            email: Benedikt.Heinen@infrasys.ascom.ch