src/Tools/Setup/etc/build.props

updated to polyml-test-15c840d48c9a;

module = $ISABELLE_SETUP_JAR
no_build = true
sources = \
  src/Build.java \
  src/Environment.java \
  src/Exn.java \
  src/Library.java \
  src/Setup.java