diff --git a/src/tools/java_resource_extractor/resource_extractor.py b/src/tools/java_resource_extractor/resource_extractor.py index f2d583be4..e52387b5b 100644 --- a/src/tools/java_resource_extractor/resource_extractor.py +++ b/src/tools/java_resource_extractor/resource_extractor.py @@ -39,6 +39,7 @@ '.java', # Java source files '.scala', # Scala source files '.class', # Java class files + '.class.uninstrumented', # Uninstrumented Java class files '.scc', # Visual SourceSafe '.swp', # vi swap file '.gwt.xml', # Google Web Toolkit modules