Java language proposals