Safe Java execution, sort of