From 55c476419219b78d214094defe5ed3a058e1a7b0 Mon Sep 17 00:00:00 2001
From: Michael Bayne <mdb@threerings.net>
Date: Tue, 1 May 2007 19:38:44 +0000
Subject: [PATCH] Require a name for Index annotations because managing indices
 without a name is a pain in the ass that we don't particularly need to spend
 time on.

---
 src/java/com/samskivert/jdbc/depot/annotation/Index.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/java/com/samskivert/jdbc/depot/annotation/Index.java b/src/java/com/samskivert/jdbc/depot/annotation/Index.java
index f8bab77..cc46a7e 100644
--- a/src/java/com/samskivert/jdbc/depot/annotation/Index.java
+++ b/src/java/com/samskivert/jdbc/depot/annotation/Index.java
@@ -33,7 +33,7 @@ import java.lang.annotation.Target;
 public @interface Index
 {
     /** Defines the name of the index. */
-    String name () default "";
+    String name ();
 
     /** Configures the type of this index if necessary. MySQL supports FULLTEXT, SPATIAL and
      * UNIQUE. */