+
+ private void progresslog(String s) {
+ long now = new Date().getTime();
+ System.out.println("progress "+(now - startTime)+"ms "+s);
+ }
+
+ private void progressNote(ProgressMonitor pm, String s) {
+ String arb = null;
+ if (arbitrageResult != null)
+ arb = arbitrageResult.getText();
+ if (arb != null && arb.length() != 0)
+ s = "<html>" + arb + "<br>" + s;
+ pm.setNote(s);
+ }