| Wed, 25 Apr 2012 15:13:03 +0200 | wenzelm | enforce our JAVA_HOME to avoid potential conflicts with other Java installations by the user; | changeset | files |
| Wed, 25 Apr 2012 14:30:42 +0200 | wenzelm | updated README; | changeset | files |
| Wed, 25 Apr 2012 14:29:15 +0200 | wenzelm | include generated application wrapper; | changeset | files |