diff -up texlive-20240311/source/texk/tex4htk/java/xtpipes/InputObject.java.me texlive-20240311/source/texk/tex4htk/java/xtpipes/InputObject.java diff -up texlive-20240311/source/texk/tex4htk/java/xtpipes/util/ScriptsManager.java.me texlive-20240311/source/texk/tex4htk/java/xtpipes/util/ScriptsManager.java --- texlive-20240311/source/texk/tex4htk/java/xtpipes/util/ScriptsManager.java.me 2024-08-08 17:31:10.121875390 +0200 +++ texlive-20240311/source/texk/tex4htk/java/xtpipes/util/ScriptsManager.java 2024-08-08 17:32:03.258933555 +0200 @@ -37,7 +37,7 @@ Stack nsStack = new Stack0; ){ } s += ">" ; if( flag ){ - Object [] state = { new Boolean(savemode), code, match }; + Object [] state = { savemode, code, match }; stack.push( state ); savemode=true; code=""; match= key; } else { - Object [] state = { new Boolean(savemode), null, null }; + Object [] state = { savemode, null, null }; stack.push( state ); } add( s ); diff -up texlive-20240311/source/texk/tex4htk/java/xtpipes/Xtpipes.java.me texlive-20240311/source/texk/tex4htk/java/xtpipes/Xtpipes.java --- texlive-20240311/source/texk/tex4htk/java/xtpipes/Xtpipes.java.me 2024-08-08 17:29:42.138123299 +0200 +++ texlive-20240311/source/texk/tex4htk/java/xtpipes/Xtpipes.java 2024-08-08 17:31:06.075794819 +0200 @@ -517,7 +517,7 @@ if( saxReaderStack.empty() ){ saxReader.setContentHandler( new DefaultHandler(){ private Stack condition = new Stack (); public void startDocument () { - condition.push( new Boolean(true) ); + condition.push( true ); } public void startElement(String ns, String sName, String qName, Attributes atts) { @@ -616,7 +616,7 @@ if( name.equals("content-type") ){ condition = null; return; } } - condition.push( new Boolean(cond) ); + condition.push( cond ); } public void endElement(String ns, String sName, String qName) { if( condition == null ){ return; }