Java tools for loading popular star catalogues into a MySQL database