code: public String toClassName(final String filename) {
          return filename.substring(0, filename.lastIndexOf(".class"))
                  .replace('/', '.').replace('\\', '.');
      }
docs: Convert a filename to a class name by removing '.class' and converting '/'s to '.'s.