/** Wraps access to the repository, making sure it is available. */
protected synchronized Repository getRepository() {
// if (repository == null) {
/** Wraps access to the repository, making sure it is available. */
protected synchronized Repository getRepository() {
// if (repository == null) {