To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CACZd_0wy4tzkLmF%2By-sAzfhogjiTkSJ3ibUu608L0eEtLSzDpA%40mail.gmail.com.
--
You received this message because you are subscribed to the Google Groups "Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email to metamath+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/17e931b9-e063-4167-abee-dfba744e8f04%40googlegroups.com.
--
You received this message because you are subscribed to the Google Groups "Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email to metamath+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/ce397d63-f6ec-4c90-8de1-48a3669c1c61%40googlegroups.com.
I think it is used as a submodule, meaning that it gets compiled from source together with the rest of mmj2 and bundled into mmj2.jar. It is not an external jar file.
Aren't there .deb downloads for earlier versions of the JDK?
--
You received this message because you are subscribed to the Google Groups "Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email to metamath+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/27d50942-7058-46d9-bf9a-7350a2b6d960%40googlegroups.com.
--
You received this message because you are subscribed to the Google Groups "Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email to metamath+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/ee1100b6-720b-480a-bbe7-8014bd949c49%40googlegroups.com.
Where did you find those build instructions? I have to admit it's a bit out of my depth, and I haven't touched this in a while. I usually use an ant build, in the build.xml file. You may be able to find the commands you need there.