Merge branch 'dev' of github.com:cismet/cids-navigator into dev
Merge branch 'dev' of github.com:cismet/cids-navigator into dev
Merge branch 'dev' of github.com:cismet/cids-navigator into dev
Merge branch 'dev' of github.com:cismet/cids-navigator into dev
Merge branch 'dev' of github.com:cismet/cids-navigator into dev
Merge branch 'dev' of github.com:cismet/cids-navigator into dev
Merge branch 'dev' of github.com:cismet/cids-navigator into dev
Merge remote-tracking branch 'origin/dev' into dev
fixed #40 Sometimes, the splash screen of the navigator does not close
Merge branch 'bug/40-splash-screen-does-not-close' into dev
Merge branch 'dev' of github.com:cismet/cids-navigator into dev
Merge branch 'dev' of github.com:cismet/cids-navigator into dev
fixed #41 add executeServerSearch method to the development tools
minor jalopy changes
Merge branch 'feature/41-execute-server-search-in-developmenttools' into dev
If you copy a cids bean, an exception will be thrown
Merge branch 'bug/42-copy-cidsbean-exception' into dev
Merge branch 'dev' of github.com:cismet/cids-navigator into dev
fixed #43 introduce the interface BeanInitializerForcePaste
Merge branch 'feature/43-allow-paste-action' into dev