Fix for NPE when getOriginalJavaFile() is null