class JimpleClassProvider implements ClassProvider {

  /**
   * Look for the specified class. Return a ClassSource for it if found, or null if it was not found.
   */
  @Override
  public ClassSource find(String className) {<FILL_FUNCTION_BODY>}
}

    IFoundFile file = SourceLocator.v().lookupInClassPath(className + ".jimple");
    if (file == null) {
      if (Options.v().permissive_resolving()) {
        file = SourceLocator.v().lookupInClassPath(className.replace('.', '/') + ".jimple");
      }
      if (file == null) {
        return null;
      }
    }
    return new JimpleClassSource(className, file);
  
<no_super_class>