Find value constructor getters, even though they're @ignore

We need to find the getters for value constructor in order to
support importing constructors (as in #2176)
but otherwise ignore them.

Part of #5635

model/src/com/redhat/ceylon/model/loader/AbstractModelLoader.java

@@ -1319,8 +1319,9 @@ private List<MethodMirror> getClassConstructors(ClassMirror classMirror, MethodM
         LinkedList<MethodMirror> constructors = new LinkedList<MethodMirror>();
         boolean isFromJDK = isFromJDK(classMirror);
         for(MethodMirror methodMirror : classMirror.getDirectMethods()){
-            // We skip members marked with @Ignore
-            if(methodMirror.getAnnotation(CEYLON_IGNORE_ANNOTATION) != null)
+            // We skip members marked with @Ignore, unless they value constructor getters
+            if(methodMirror.getAnnotation(CEYLON_IGNORE_ANNOTATION) != null
+                    &&methodMirror.getAnnotation(CEYLON_ENUMERATED_ANNOTATION) == null)
                 continue;
             if (!p.accept(methodMirror))
                 continue;