java/android: Use .jar instead of source directly