diff --git a/src/main/java/de/metas/ui/web/window/datatypes/DocumentId.java b/src/main/java/de/metas/ui/web/window/datatypes/DocumentId.java
index ad59836b5..132b9faa5 100644
--- a/src/main/java/de/metas/ui/web/window/datatypes/DocumentId.java
+++ b/src/main/java/de/metas/ui/web/window/datatypes/DocumentId.java
@@ -147,6 +147,18 @@ public static Set<DocumentId> ofStringSet(final Collection<String> documentIds)
 				.collect(GuavaCollectors.toImmutableSet());
 	}
 
+	public static Set<DocumentId> ofIntSet(final Collection<Integer> documentIds)
+	{
+		if (documentIds == null || documentIds.isEmpty())
+		{
+			return ImmutableSet.of();
+		}
+		return documentIds
+				.stream()
+				.map(idInt -> of(idInt))
+				.collect(GuavaCollectors.toImmutableSet());
+	}
+
 	public static final DocumentId fromNullable(final String idStr)
 	{
 		if (Check.isEmpty(idStr, true))