diff options
Diffstat (limited to 'eclipse-platform-parent')
| -rw-r--r-- | eclipse-platform-parent/saveproperties/mavenproperties.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/eclipse-platform-parent/saveproperties/mavenproperties.properties b/eclipse-platform-parent/saveproperties/mavenproperties.properties index 48c2e18ac..867913177 100644 --- a/eclipse-platform-parent/saveproperties/mavenproperties.properties +++ b/eclipse-platform-parent/saveproperties/mavenproperties.properties @@ -20,6 +20,7 @@ java.library.path=${java.library.path} java.runtime.name=${java.runtime.name} java.runtime.version=${java.runtime.version} java.specification.name=${java.specification.name} +java.version=${java.version} maven.home=${maven.home} maven.repo.local=${maven.repo.local} |