diff options
| -rw-r--r-- | org.eclipse.jubula.client.teststyle/src/org/eclipse/jubula/client/teststyle/gui/MarkerHandler.java | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/org.eclipse.jubula.client.teststyle/src/org/eclipse/jubula/client/teststyle/gui/MarkerHandler.java b/org.eclipse.jubula.client.teststyle/src/org/eclipse/jubula/client/teststyle/gui/MarkerHandler.java index 6289c7faf..bb6527b41 100644 --- a/org.eclipse.jubula.client.teststyle/src/org/eclipse/jubula/client/teststyle/gui/MarkerHandler.java +++ b/org.eclipse.jubula.client.teststyle/src/org/eclipse/jubula/client/teststyle/gui/MarkerHandler.java @@ -104,8 +104,10 @@ public class MarkerHandler { IMarker problemMarker = m_problems.get(problem); if (problemMarker != null) { IMarker marker = m_res.findMarker(problemMarker.getId()); - marker.delete(); - m_markers.remove(marker); + if (marker != null) { + marker.delete(); + m_markers.remove(marker); + } } m_problems.remove(problem); } catch (CoreException e) { |