output: #fixed code
                                @Test public void readerUnquotedDoubleValue() throws Exception {
      JsonReader reader = factory.newReader("{5:1}");
      reader.setLenient(true);
      reader.beginObject();
      reader.promoteNameToValue();
      assertThat(reader.nextDouble()).isEqualTo(5d);
      assertThat(reader.nextInt()).isEqualTo(1);
      reader.endObject();
    }
input: #vulnerable code 
                                @Test public void readerUnquotedDoubleValue() throws Exception {
      JsonReader reader = newReader("{5:1}");
      reader.setLenient(true);
      reader.beginObject();
      reader.promoteNameToValue();
      assertThat(reader.nextDouble()).isEqualTo(5d);
      assertThat(reader.nextInt()).isEqualTo(1);
      reader.endObject();
    } 
                              #location 9 
                              #vulnerability type RESOURCE_LEAK