# typical properties we may need elsewhere, such as 
# to display in reports or PHP pages

tycho-extras.version=${tycho-extras.version}
tycho-repo.url=${tycho-repo.url}
tycho.debug.artifactcomparator=${tycho.debug.artifactcomparator}
tycho.localArtifacts=${tycho.localArtifacts}
tycho.version=${tycho.version}
cbi-jdt-repo.url=${cbi-jdt-repo.url}
cbi-jdt-version=${cbi-jdt-version}
cbi-plugins.version=${cbi-plugins.version}

java.class.path=${java.class.path}
java.class.version=${java.class.version}
java.endorsed.dirs=${java.endorsed.dirs}
java.ext.dirs=${java.ext.dirs}
java.home=${java.home}
java.io.tmpdir=${java.io.tmpdir}
java.library.path=${java.library.path}
java.runtime.name=${java.runtime.name}
java.runtime.version=${java.runtime.version}
java.specification.name=${java.specification.name}

maven.home=${maven.home}
maven.repo.local=${maven.repo.local}

comparator.repo=${comparator.repo}

eclipse-p2-repo.url=${eclipse-p2-repo.url}

eclipse-repo.url=${eclipse-repo.url}

sun.java.command=${sun.java.command}