import java.util.*;
import java.util.zip.*;
import java.util.List;
import java.util.regex.*;
import java.util.concurrent.*;
import java.util.concurrent.atomic.*;
import java.util.concurrent.locks.*;
import javax.swing.*;
import javax.swing.event.*;
import javax.swing.text.*;
import javax.swing.table.*;
import java.io.*;
import java.net.*;
import java.lang.reflect.*;
import java.lang.ref.*;
import java.lang.management.*;
import java.security.*;
import java.security.spec.*;
import java.awt.*;
import java.awt.event.*;
import java.awt.image.*;
import javax.imageio.*;
import java.math.*;
import static x30_pkg.x30_util.DynamicObject;
class main {
static void zip2zip_stored(File inZip, ZipOutputStream outZip) { try {
ZipFile zipFile = new ZipFile(inZip); try {
for (var e : enumerationToIterator(zipFile.entries())) {
print("Copying " + e.getName());
e.setMethod(ZipOutputStream.STORED);
outZip.putNextEntry(e);
copyStreamAndCloseInput(zipFile.getInputStream(e), outZip);
}
} finally { _close(zipFile); }} catch (Exception __e) { throw rethrow(__e); } }
static IterableIterator enumerationToIterator(final Enumeration e) {
return e == null ? null : new IterableIterator() {
public boolean hasNext() {
return e.hasMoreElements();
}
public A next() {
return e.nextElement();
}
};
}
static volatile StringBuffer local_log = new StringBuffer(); // not redirected
static volatile Appendable print_log = local_log; // might be redirected, e.g. to main bot
// in bytes - will cut to half that
static volatile int print_log_max = 1024*1024;
static volatile int local_log_max = 100*1024;
static boolean print_silent = false; // total mute if set
static Object print_byThread_lock = new Object();
static volatile ThreadLocal