specSFS requires Java.