Merge from master

[fanfix.git] / library / RemoteLibrary.java

diff --git a/library/RemoteLibrary.java b/library/RemoteLibrary.java
index 3a60e02c9ed6fc845193574f897c3bd9b0ecc60a..ad92800878f63e31587fa449a07c4618a971bc49 100644 (file)
--- a/library/RemoteLibrary.java
+++ b/library/RemoteLibrary.java
@@ -485,7 +485,7 @@ public class RemoteLibrary extends BasicLibrary {
        // The following methods are only used by Save and Delete in BasicLibrary:
 
        @Override
-       protected int getNextId() {
+       protected String getNextId() {
                throw new java.lang.InternalError("Should not have been called");
        }