rosjava/rosjava_extras — pull request #9 by stonier (2014-02-09 06:47:47+00:00)
Title: Fallback to our maven repo url if not set.

Support to handle the documented use case: https://github.com/rosjava/rosjava_core/issues/186.