skip default deployment of Maven artifacts (we are not deploying to Maven repo)
skip default deployment of Maven artifacts (we are not deploying to Maven repo)

andriusvelykis/isabelle-eclipse,andriusvelykis/isabelle-eclipse,andriusvelykis/isabelle-eclipse