diff --git a/com.oracle.truffle.r.test.packages.analyzer/src/com/oracle/truffle/r/test/packages/analyzer/PTAMain.java b/com.oracle.truffle.r.test.packages.analyzer/src/com/oracle/truffle/r/test/packages/analyzer/PTAMain.java index 7342253b38bd39285155e7eb39b5ecf797a9033a..f60d22af3eff08353b486d7392c4732ffd09b77a 100644 --- a/com.oracle.truffle.r.test.packages.analyzer/src/com/oracle/truffle/r/test/packages/analyzer/PTAMain.java +++ b/com.oracle.truffle.r.test.packages.analyzer/src/com/oracle/truffle/r/test/packages/analyzer/PTAMain.java @@ -63,6 +63,12 @@ import com.oracle.truffle.r.test.packages.analyzer.model.RPackage; * </p> */ public class PTAMain { + + // must be before the logger is created to take effect + static { + System.setProperty("java.util.logging.SimpleFormatter.format", "%4$s: %5$s [%1$tc]%n"); + } + private static final Logger LOGGER = Logger.getLogger(PTAMain.class.getName()); private static final String LOG_FILE_NAME = "pta.log"; @@ -170,6 +176,7 @@ public class PTAMain { } rootLogger.setLevel(defaultLogLevel); + System.setProperty("java.util.logging.SimpleFormatter.format", "%4$s: %5$s [%1$tc]%n"); if (parser.has("console")) { consoleHandler.setLevel(defaultLogLevel); } else {