| commit | 8157d2fc3c4221afb1ee103a94c06a4d3f715017 | [log] [tgz] |
|---|---|---|
| author | Antonio García-Domínguez <agarcdomi@gmail.com> | Tue Nov 26 17:57:08 2019 +0000 |
| committer | Antonio García-Domínguez <agarcdomi@gmail.com> | Tue Nov 26 17:57:08 2019 +0000 |
| tree | 1ee29e5c733a459fb016b401652087337a881c80 | |
| parent | 7f787e5823df190ad289b2548f5909af031fda34 [diff] |
EMFModelResource: add a null check for protecting against NPE from standalone resources
diff --git a/plugins/org.hawk.emf/src/org/hawk/emf/model/EMFModelResource.java b/plugins/org.hawk.emf/src/org/hawk/emf/model/EMFModelResource.java index e589ddf..4dc7792 100644 --- a/plugins/org.hawk.emf/src/org/hawk/emf/model/EMFModelResource.java +++ b/plugins/org.hawk.emf/src/org/hawk/emf/model/EMFModelResource.java
@@ -85,7 +85,9 @@ @Override public void unload() { res.unload(); - res.getResourceSet().getResources().remove(res); + if (res.getResourceSet() != null) { + res.getResourceSet().getResources().remove(res); + } res = null; allContents = null;