if (defaultOptionsHashMap != null)
return;
else
{
defaultOptionsHashMap = new HashMap<String, String>();
new HumanKeyboardAgent();
defaultOptionsHashMap.put("-ag","HumanKeyboardAgent"); //defaultOptionsHashMap.put("-agentName","NoAgent");
defaultOptionsHashMap.put("-an","1"); //defaultOptionsHashMap.put("-attemptsNumber","5");
defaultOptionsHashMap.put("-echo","off"); //defaultOptionsHashMap.put("-echo","off");
defaultOptionsHashMap.put("-ewf","on"); //defaultOptionsHashMap.put("-exitWhenFinished","off");
defaultOptionsHashMap.put("-fastTCP","off"); //