/tools/.settings/ development
drwxr-xr-x [up]
-rw-r--r-- 2013-04-24 00:07 +0100 137 org.eclipse.jdt.launching.prefs
-rw-r--r-- 2013-04-24 00:07 +0100 134 org.eclipse.ltk.core.refactoring.prefs
-rw-r--r-- 2013-04-24 00:07 +0100 119 org.eclipse.pde.core.prefs