From b4a73dac11cf9904d0f883d00d92abef4d3ed113 Mon Sep 17 00:00:00 2001
From: Lukas Eder <lukas.eder@gmail.com>
Date: Wed, 28 Aug 2019 15:33:03 +0200
Subject: [PATCH] [jOOQ/jOOQ#8616] Correctly clone Settings.parseSearchPath

---
 jOOQ/src/main/java/org/jooq/conf/SettingsTools.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/jOOQ/src/main/java/org/jooq/conf/SettingsTools.java b/jOOQ/src/main/java/org/jooq/conf/SettingsTools.java
index 6dfff8a042..db04f8c0b1 100644
--- a/jOOQ/src/main/java/org/jooq/conf/SettingsTools.java
+++ b/jOOQ/src/main/java/org/jooq/conf/SettingsTools.java
@@ -47,6 +47,7 @@ import java.io.File;
 import java.io.InputStream;
 import java.sql.PreparedStatement;
 import java.sql.Statement;
+import java.util.ArrayList;
 import java.util.Locale;
 
 import org.jooq.util.jaxb.tools.MiniJAXB;
@@ -294,6 +295,8 @@ public final class SettingsTools {
 
         if (result.renderFormatting != null)
             result.renderFormatting = (RenderFormatting) result.renderFormatting.clone();
+        if (result.parseSearchPath != null)
+            result.parseSearchPath = new ArrayList<>(result.parseSearchPath);
 
         return result;
     }