I needed to quickly edit one .properties file in multiple versions of the same JAR file.
So I write the batch-file below, that presumes
- you have 7-zip installed in the default directory on your system.
- the batch-file is in the same directory as the .JAR file
The batch file uses the original JAR file SEALS_Server.jar, creates a new JAR file SEALS_Server-logging.jar that contains the file logging.properties having one line with the setting level = INFO.
The Wiert Corner - irregular stream of stuff 