Figured out how to copy one-jar artifact to bin directory. Next is to rename artifact or update launch script.
Figured out how to copy one-jar artifact to bin directory. Next is to rename artifact or update launch script.

ontodev/robot,ontodev/robot,ontodev/robot