This file marks the pattern devel_java to be installed.