dd495a477a
SimpleRepository's synchronization if we're going to be mixing Depot and SimpleRepository so we'll either do that or we'll take a look at how JDBC's native connection pooling handles this. git-svn-id: https://samskivert.googlecode.com/svn/trunk@2135 6335cc39-0255-0410-8fd6-9bcaacd3b74c