Community
Participate
Working Groups
Source based, v_770. The current code for JavaProject#getOption could be optimized along the following: - the propertyName local variable is a mere rename of the optionName parameter; use the parameter instead (with or without renaming it); - the code should be written in a way that warranties that JavaCore.getOption(propertyName) only gets called if strictly needed.
The local variable can indeed be removed.
Released for 3.6M1. Variable is removed. Code verification is required.
Verified for 3.6M1 by code inspection