From 6fa874bc77617f956483e66ba3596d6177540cf6 Mon Sep 17 00:00:00 2001
From: catbref <misc-github@talk2dom.com>
Date: Fri, 28 Sep 2018 12:31:02 +0100
Subject: [PATCH] Modified Maven pom.xml to use HSQLDB jar in lib/ rather than
 from repo, as it has bug fixes we need, applied since HSQLDB v2.4.1.

Modified Eclipse Java formatting settings for better enum layout.
---
 .settings/org.eclipse.jdt.core.prefs | 2 +-
 pom.xml                              | 7 +++++++
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs
index 05b3c40b..a29e55d6 100644
--- a/.settings/org.eclipse.jdt.core.prefs
+++ b/.settings/org.eclipse.jdt.core.prefs
@@ -22,7 +22,7 @@ org.eclipse.jdt.core.formatter.alignment_for_assignment=0
 org.eclipse.jdt.core.formatter.alignment_for_binary_expression=16
 org.eclipse.jdt.core.formatter.alignment_for_compact_if=16
 org.eclipse.jdt.core.formatter.alignment_for_conditional_expression=80
-org.eclipse.jdt.core.formatter.alignment_for_enum_constants=0
+org.eclipse.jdt.core.formatter.alignment_for_enum_constants=49
 org.eclipse.jdt.core.formatter.alignment_for_expressions_in_array_initializer=16
 org.eclipse.jdt.core.formatter.alignment_for_expressions_in_for_loop_header=0
 org.eclipse.jdt.core.formatter.alignment_for_method_declaration=0
diff --git a/pom.xml b/pom.xml
index bdf7f1b1..eb218575 100644
--- a/pom.xml
+++ b/pom.xml
@@ -17,6 +17,13 @@
     </plugins>
   </build>
   <dependencies>
+  	<dependency>
+  		<groupId>org.hsqldb</groupId>
+  		<artifactId>hsqldb</artifactId>
+  		<version>r5836</version>
+  		<scope>system</scope>
+  		<systemPath>${project.basedir}/lib/hsqldb-r5836.jar</systemPath>
+  	</dependency>
   	<dependency>
   		<groupId>com.googlecode.json-simple</groupId>
   		<artifactId>json-simple</artifactId>