3 ms·
You can use the Cleaner API instead. It's pretty straightforward to use. https://download.java.net/java/early_access/jdk18/docs/api/java.base/java/lang/ref/Cle
by papercrane 5y ago
You can use the Cleaner API instead. It's pretty straightforward to use.
https://download.java.net/java/early_access/jdk18/docs/api/java.base/java/lang/ref/Cleaner.html https://download.java.net/java/early_access/jdk18/docs/api/j...
- mmastrac 5y agoThanks for the pointers - my Java knowledge is apparently out-of-date!