Java extension instructions