From 51879afe0783121ed8d764ae373eae13f234e732 Mon Sep 17 00:00:00 2001
From: "Kristian S. Stangeland" <kr_stang@hotmail.com>
Date: Mon, 22 Jul 2013 16:45:11 +0200
Subject: [PATCH] Updating Eclipse settings.

---
 ProtocolLib/.settings/org.eclipse.jdt.ui.prefs | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 ProtocolLib/.settings/org.eclipse.jdt.ui.prefs

diff --git a/ProtocolLib/.settings/org.eclipse.jdt.ui.prefs b/ProtocolLib/.settings/org.eclipse.jdt.ui.prefs
new file mode 100644
index 00000000..b4d00cda
--- /dev/null
+++ b/ProtocolLib/.settings/org.eclipse.jdt.ui.prefs
@@ -0,0 +1,7 @@
+eclipse.preferences.version=1
+formatter_profile=_Comphenix
+formatter_settings_version=12
+org.eclipse.jdt.ui.exception.name=e
+org.eclipse.jdt.ui.gettersetter.use.is=true
+org.eclipse.jdt.ui.keywordthis=false
+org.eclipse.jdt.ui.overrideannotation=true