//
// Read the name of the checker class from the @ControlInterface annotation,
// dynamically load and run it.
//
DeclaredType checkerMirror = (DeclaredType)controlAnnot.getObjectValue("checker");
if ( checkerMirror == null )
{
// try the deprecated 'checkerClass' attribute
checkerMirror = (DeclaredType)controlAnnot.getObjectValue("checkerClass");
}
if ( checkerMirror != null && checkerMirror.getDeclaration() != null )
{
// TODO: optimize to not invoke default checker?
String checkerName = checkerMirror.toString();
try
{
ClassLoader loader = getExternalClassLoader();