1 files changed, 1 insertions, 3 deletions
diff --git a/src/jogl/classes/javax/media/opengl/GLContext.java b/src/jogl/classes/javax/media/opengl/GLContext.java
index 01e0e8270..a71961122 100644
--- a/src/jogl/classes/javax/media/opengl/GLContext.java
+++ b/src/jogl/classes/javax/media/opengl/GLContext.java
@@ -1643,9 +1643,7 @@ public abstract class GLContext {
       synchronized ( deviceVersionsAvailableSet ) {
           final String devKey = device.getUniqueID();
           if( set ) {
-              if( null != deviceVersionsAvailableSet.put(devKey, devKey) ) {
-                  throw new InternalError("Already set: "+devKey);
-              }
+              deviceVersionsAvailableSet.put(devKey, devKey);
           } else {
               deviceVersionsAvailableSet.remove(devKey);
           }