487
487
if (agentFile != null && !foundAgents.contains(agentFile) && context !=null)
489
489
JMenu miAgent = new JMenu(agentFile.getParentFile().getName() + "/" + agentFile.getName());
491
493
addFilesToMenu(miAgent, agentFile.getParentFile(), context);