fix nullpointer in GUI when searching in GraphStream