Searching in libjava/gnu/java/beans/editors