../ StringComparator.java 08-Aug-2015 19:38 1986 TestBug1191815.java 08-Aug-2015 19:38 4112 hsqldb 28-Feb-2017 15:43 364 hsqldb-1.8.1.3-java7.patch 08-Aug-2015 19:38 13842 resolve-config-softlinks.patch 08-Aug-2015 19:38 846 server.properties 08-Aug-2015 19:38 686 sqltool.rc 28-Feb-2017 15:43 560