関連ワード:  what is java plugin    what is java applet plugin    what is java extension    what is java extension in vs code    what is java extension file    what is java extension name    is java deprecated