You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
49 lines
2.2 KiB
49 lines
2.2 KiB
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<Integer> nsStack = new Stack<Integ
|
|
public void startElement(String ns, String sName,
|
|
String qName, Attributes atts) {
|
|
int top = nsName.size();
|
|
-nsStack.push( new Integer(top) );
|
|
+nsStack.push( top );
|
|
|
|
String key = (atts==null)?
|
|
null
|
|
@@ -87,11 +87,11 @@ for(int i=top; i>0; ){
|
|
}
|
|
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 <Boolean> condition = new Stack <Boolean> ();
|
|
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; }
|