Index: AbstractVersionManager.java
===================================================================
--- AbstractVersionManager.java	(revisión: 476767)
+++ AbstractVersionManager.java	(copia de trabajo)
@@ -324,8 +324,14 @@
             versionName = best.getName().getLocalName();
             int pos = versionName.lastIndexOf('.');
             if (pos > 0) {
-                versionName = versionName.substring(0, pos + 1)
-                    + (Integer.parseInt(versionName.substring(pos + 1)) + 1);
+            	String newVersionName = versionName.substring(0, pos + 1)
+                + (Integer.parseInt(versionName.substring(pos + 1)) + 1);
+            	
+            	if (history.hasVersion(new QName("", newVersionName))) {
+            		versionName += ".1";
+            	} else {
+            		versionName = newVersionName;
+            	}
             } else {
                 versionName = String.valueOf(best.getSuccessors().length + 1) + ".0";
             }