tree 85a2a4a864da68b49361cd6b34479d2e269e47d2
parent a465cf681bb5fbc0b5a038302e982aa933a0a8ac
author Dan Willemsen <dwillemsen@google.com> 1454725457 -0800
committer Dan Willemsen <dwillemsen@google.com> 1454979768 -0800

Disable java when JAVA_NOT_REQUIRED is set

Change-Id: Id3056cde93302be20000bf7af33aeed0fa8fdf52