It seems that the Eclipse TPTP plugin has this feature: http://www.eclipse.org/tptp/
You can get closer to it by the timestamp difference:
public static void main(String[] args) throws IOException { long start = System.currentTimeMillis();; new MyApplication(); long end = System.currentTimeMillis();; System.out.println((end - start) + " ms"); }
This will print the runtime in ms.
Alexis
source share