target_host_push.addSelectionListener(new SelectionListener() {
public void widgetDefaultSelected(SelectionEvent e) {
synchronized (synchro) {
synchronized (sync_tree) {
final Session session = synchro.getSessionFactory().getCurrentSession();
session.beginTransaction();
try {
final TargetIPv4 foo = new TargetIPv4("added by GUI",
GenericTools.stringToInet4Address(target_host_value.getText()), snmp_manager);
if (addTargetAtCurrentPosition(foo) == true) foo.checkSNMPAwareness();
target_host_value.setText("000.000.000.000");