private boolean isTranslatedClassAvailable(ClassSymbol c) {
        for (JCTree tree: translated) {
            if (tree.getTag() == JCTree.CLASSDEF
                    && ((JCClassDecl) tree).sym == c) {
                return true;
            }
        }
        return false;
    }