Merge branch 'master' of ssh://git.eclipse.org:29418/www.eclipse.org/projects
diff --git a/services/license_check.php b/services/license_check.php
index 9d36bb2..493be73 100755
--- a/services/license_check.php
+++ b/services/license_check.php
@@ -196,6 +196,7 @@
if (preg_match('/^org\.locationtech\./', $namespace)) return true;
if (preg_match('/^jakarta\./', $namespace)) return true;
if (preg_match('/^org\.aspectj/', $namespace)) return true;
+ if (preg_match('/^@theia$/', $namespace)) return true;
return false;
}
