public GUTimeAnnotator(String name, Properties props) { String path = props.getProperty(GUTIME_PATH_PROPERTY, System.getProperty("gutime", DEFAULT_PATH)); this.gutimePath = new File(path); this.outputResults = Boolean.valueOf(props.getProperty(GUTIME_OUTPUT_RESULTS, "false")); }