diff --git a/dist/java/src/mp/code/Workspace.java b/dist/java/src/mp/code/Workspace.java
index 116f24a..8e3af72 100644
--- a/dist/java/src/mp/code/Workspace.java
+++ b/dist/java/src/mp/code/Workspace.java
@@ -80,13 +80,13 @@ public final class Workspace {
 		return active_buffers(this.ptr);
 	}
 
-	private static native String[] user_list(long self);
+	private static native User[] user_list(long self);
 
 	/**
 	 * Returns the users currently in the workspace.
-	 * @return an array containing the names of the users in the workspace
+	 * @return an array containing the users in the workspace
 	 */
-	public String[] userList() {
+	public User[] userList() {
 		return user_list(this.ptr);
 	}