Merge remote-tracking branch 'origin/master' into formatStatistics

haas-imagej-client/src/main/java/cz/it4i/fiji/haas/Job.java

...ej-client/src/main/java/cz/it4i/fiji/haas/JobManager.java

...lient/src/main/java/cz/it4i/fiji/haas/PropertyHolder.java

.../fiji/haas_snakemake_spim/commands/CheckStatusOfHaaS.java

...i/haas_snakemake_spim/ui/CheckStatusOfHaaSController.java

...iji/haas_spim_benchmark/commands/ManageSPIMBenchmark.java

...4i/fiji/haas_spim_benchmark/core/BenchmarkJobManager.java

...java/cz/it4i/fiji/haas_spim_benchmark/core/Constants.java

...fiji/haas_spim_benchmark/core/FXFrameExecutorService.java

.../fiji/haas_spim_benchmark/ui/BenchmarkSPIMController.java