Making Java's abort work.