output: #fixed code
                                  public MojoExecutionService getMojoExecutionService() {
          return mojoExecutionService;
      }
input: #vulnerable code 
                                  public MojoExecutionService getMojoExecutionService() {
          checkBaseInitialization();
          return mojoExecutionService;
      } 
                              #location 3 
                              #vulnerability type THREAD_SAFETY_VIOLATION