/benchmarks/java/.settings/ cvs_MAIN expecco_19_1_0 expecco_19_1_0_final1
drwxr-xr-x [up]
-rw-r--r-- 2019-05-17 16:56 +0200 587 org.eclipse.jdt.core.prefs