PHPエディタって、どうよ？

>>334
javaじゃなくてphp5用の警告。
設定で消せる。