[generalizer branch] Remove Oracle JDKs from tests

UniFormal / MMT

The MMT Language and System

https://uniformal.github.io/

Other

68 stars 23 forks source link

[generalizer branch] Remove Oracle JDKs from tests #461

Closed ComFreek closed 5 years ago

ComFreek commented 5 years ago

After recent license changes, we have decided to remove Oracle JDK support from MMT entirely. This commit removes the last remnants of them from testing.