Searched refs:getExtrasVersion (Results 1 – 1 of 1) sorted by relevance
47 public int getExtrasVersion() { in getExtrasVersion() method in Sl4aHostedInterpreter62 return String.format("%s_extras_r%s.zip", getName(), getExtrasVersion()); in getExtrasArchiveName()