ros/rosdistro — pull request #693 by gheorghelisca (2013-04-14 19:52:21+00:00)
Title: rosjava_jni, on GitHub from SSH to HTTPS

Use the HTTPS based URI instead the URI based on SSH.