Specify java version for correct import in an IDE