base/src/main/java/org/arend/source/FileBinarySource.java [50:61]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  @Override
  public long getTimeStamp() {
    try {
      return Files.getLastModifiedTime(myFile).toMillis();
    } catch (IOException e) {
      return 0;
    }
  }

  @Override
  public boolean isAvailable() {
    return Files.exists(myFile);
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



cli/src/main/java/org/arend/frontend/source/FileRawSource.java [33:44]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  @Override
  public long getTimeStamp() {
    try {
      return Files.getLastModifiedTime(myFile).toMillis();
    } catch (IOException e) {
      return 0;
    }
  }

  @Override
  public boolean isAvailable() {
    return Files.exists(myFile);
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -