No, I haven't. This request originally referred to the 10.1.2.1 jars, and now I see that the 10.1.3.1 jars are now in the maven 2 repository at ibiblio!
I searched on people.apache.org and couldn't find the 10.1.3.1 jars in any expected location for mirroring for maven. It would be very nice to find out a) who is publishing these to ibiblio and b) get the Maven 2 poms for Derby contributed back to Derby so that we can take care of publishing the jars to the Maven 2 repository as part of our release process.
Unfortunately, I know next to nothing about Maven 2. I'm not even sure where to look on the Apache servers for the jars that get mirrored to ibiblio. Any assistance you can provide with discovering the origin of the jars on ibiblio or with instructions on including publishing the jars to a Maven 2 repository as a part of our release process will be greatly appreciated.