diff --git a/build/shared/lib/preferences.txt b/build/shared/lib/preferences.txt
index e5b3dc6e7..032816e5f 100755
--- a/build/shared/lib/preferences.txt
+++ b/build/shared/lib/preferences.txt
@@ -258,7 +258,7 @@ preproc.jdk_version = 1.1
 preproc.imports.jdk11 = java.applet,java.awt,java.awt.image,java.awt.event,java.io,java.net,java.text,java.util,java.util.zip
 
 # additional imports when exporting to java 1.3 or higher
-preproc.imports.jdk13 = javax.sound.midi,javax.sound.midi.spi,javax.sound.sampled,javax.sound.sampled.spi
+preproc.imports.jdk13 = javax.sound.midi,javax.sound.midi.spi,javax.sound.sampled,javax.sound.sampled.spi,java.util.regex
 
 # additional imports when exporting to java 1.4 or higher
 preproc.imports.jdk14 = javax.xml.parsers,javax.xml.transform,javax.xml.transform.dom,javax.xml.transform.sax,javax.xml.transform.stream,org.xml.sax,org.xml.sax.ext,org.xml.sax.helpers