Fix name of database initialization script
Add Eclipse Java formatting profile
Update submodules