From eb916b76d286eb5a6a1ddf0617e0973446285215 Mon Sep 17 00:00:00 2001
From: Jose Pereira <onaips@ubuntu.(null)>
Date: Sat, 29 Oct 2011 11:58:08 +0100
Subject: [PATCH] version 1.0a3

---
 .settings/org.eclipse.jdt.core.prefs | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 .settings/org.eclipse.jdt.core.prefs

diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs
new file mode 100755
index 0000000..2a569d1
--- /dev/null
+++ b/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,5 @@
+#Mon Jul 04 14:49:52 WEST 2011
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
+org.eclipse.jdt.core.compiler.compliance=1.5
+org.eclipse.jdt.core.compiler.source=1.5